scientific article; zbMATH DE number 139994

zbMATH Open0760.68021MaRDI QIDQ4028355FDOQ4028355

Authors: Alan P. French, G. P. McKeown, V. J. Rayward-Smith 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 46957
• Publication:3028331
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 550761

zbMATH Keywords

Vienna development methodspecification generationspecification reductionspecification schemas

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (3)

• The transition from VDL to VDM
• Title not available (Why is that?)
• Modular structuring of VDM specifications in VVSL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028355)