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)

zbMATH Keywords

ProceedingsSymposiumformal methodsprogramming methodologysoftware specification\(Z\)\(VDM\)Kiel (FRG)modularization, abstract data typesVDM '90

Mathematics Subject Classification ID

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)

An analysis of refinement in an abortive paradigm

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