On the need for practical formal methods (1998)

by C Heitmeyer
Venue:Proceedings, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, Lyngby