Vienna development method: An informal introduction

MaRDI QIDQ1817110zbMATH OpenFDO

Authors A. K. Petrenko

Publication date 13 May 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

specification of programsVDMVienna development method

Mathematics Subject Classification ID

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

Cited in

(3)

• VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
• scientific article; zbMATH DE number 1708037 (Why is no real title available?)
• scientific article; zbMATH DE number 3960970 (Why is no real title available?)

This page was built for publication: Vienna development method: An informal introduction

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