SPECIFICATION LANGUAGE.
Ib Holm Sorensen
Details
| Address |
Aarhus‚ Den |
| ISBN |
3540114904 |
| Journal |
Lecture Notes in Computer Science |
| Language |
English |
| Pages |
381−401 |
| Publisher |
Springer−Verlag‚ Berlin‚ West Ger |
| Year |
1982 |
Links
Related pages
|
People |