Chris George
-
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Formal approach to railway applications
Formal methods and hybrid real-time systems