scientific article; zbMATH DE number 4016178

zbMATH Open0625.68020MaRDI QIDQ3028331FDOQ3028331

Authors:

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 550761
• scientific article; zbMATH DE number 683356
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 1487471
• scientific article; zbMATH DE number 46957

zbMATH Keywords

programming languageVienna Development Method``Hoare-logicspecification of data

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (11)

• Title not available (Why is that?)
• A proof rule for while loop in VDM
• Formal software development in the Verification Support Environment (VSE)
• Title not available (Why is that?)
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal methods in software development Z, B and VDM: comparison analysis
• Modular structuring of VDM specifications in VVSL
• Title not available (Why is that?)

Uses Software

• Nuprl

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 Q3028331)