Vienna development method: An informal introduction

zbMATH Open0875.68637MaRDI QIDQ1817110

A. K. Petrenko

Publication date: 13 May 1997

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

zbMATH Keywords

VDMVienna development methodspecification of programs

Mathematics Subject Classification ID

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

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)