1944
8 works on record
The Vienna development method
Formal methods and hybrid real-time systems
Structure for dependability
Reflections on the work of C.A.R. Hoare
Case studies in systematic software development
Software development
Systematic software development using VDM
Mural