Kees Middelburg
-
Applying VDM to large developments
Conference proceedings on Formal methods in software development
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering