Vienna development method: An informal introduction

zbMATH Open0875.68637MaRDI QIDQ1817110FDOQ1817110

Authors: A. K. Petrenko 

Publication date: 13 May 1997

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

Recommendations

• scientific article; zbMATH DE number 1487471
• scientific article; zbMATH DE number 3960970
• scientific article; zbMATH DE number 550761
• scientific article

zbMATH Keywords

VDMVienna development methodspecification of programs

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)