Skip to main content

SPECIFICATION LANGUAGE.

Ib Holm Sorensen

Address
Aarhus‚ Den
ISBN
3540114904
Journal
Lecture Notes in Computer Science
Language
English
Pages
381−401
Publisher
Springer−Verlag‚ Berlin‚ West Ger
Year
1982