Publisher's Synopsis
VDM stands for Vienna Development Method, while Z refers to Zermelo, a mathematician whose name is associated with set theory. VDM Europe, formed around 1985 by the Commission of the European Communities, is a group of industrial and academic software engineers, programmers and scientists interested in model theoretic formal software development me