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

DOI10.1007/3-540-54834-3zbMath0825.00109OpenAlexW2478055516MaRDI QIDQ1202068

No author found.

Publication date: 23 January 1993

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

Full work available at URL: https://doi.org/10.1007/3-540-54834-3

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 (2)

Constraining interference in an object-based design method ⋮ An analysis of refinement in an abortive paradigm

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