C. A. Middelburg;Gerard R. Renardel de Lavalette
-;-
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering