Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage
FM, 1993.
@inproceedings{FME-1993-CraigenGR, author = "Dan Craigen and Susan L. Gerhart and Ted Ralston", booktitle = "{Proceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods}", doi = "10.1007/BFb0024650", isbn = "3-540-56662-7", pages = "250--267", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Formal Methods Reality Check: Industrial Usage}", volume = 670, year = 1993, }