VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
zbMath0746.68006MaRDI QIDQ1188662
No author found.
Publication date: 17 September 1992
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
ProceedingsSymposiumformal methodsprogramming methodologysoftware specification\(Z\)\(VDM\)Kiel (FRG)modularization, abstract data typesVDM '90
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (1)
This page was built for publication: VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
