VDM '91. Formal software development methods. Vol. 2: Tutorials. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings

DOI10.1007/BFb0019994zbMath0825.00101MaRDI QIDQ1202095

No author found.

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSymposiumNoordwijkerhout (NL)Formal software development methodsSoftware development methodsVDM '91

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

On Shostak's decision procedure for combinations of theories

This page was built for publication: VDM '91. Formal software development methods. Vol. 2: Tutorials. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings