Skip to main content

A Specification Language

Ib Sørensen

Address
London‚ UK‚ UK
Book Title
Program Specification‚ Proceedings of a Workshop
ISBN
3−540−11490−4
Pages
381–401
Publisher
Springer−Verlag
Year
1982