Peter Gorm Larsen
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Industrial Practice in Formal Methods: A Review
Juan Carlos Bicarregui and others (2009) · Lecture notes in computer science · Springer Science+Business Media
Formal methods: Practice and experience
Jim Woodcock and others (2009) · ACM Computing Surveys · Association for Computing Machinery
A Lightweight Approach to Formal Methods
Sten Agerholm and others (1998) · Applied Formal Methods — FM-Trends 98 · Springer