?
13
VDM '91. Formal Software Development Methods. 4th Internati..
Volume 1: Conference Contributions
Lecture Notes in Computer Science ; 551;SpringerLink, Bücher
?
14
VDM '91. Formal Software Development Methods. 4th Internati..
Volume 2: Tutorials
Lecture Notes in Computer Science ; 552;SpringerLink, Bücher
?
15
VDM '91 formal software development methods
4th International Symposium of VDM Europe, Noordwijkerhout,...
Lecture notes in computer science ; 551