University of Oxford Department of Computer Science

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

Links

See Also

Ib Holm Sørensen

Back to Top