Michael J. Lutz
Formal Methods and the Engineering Paradigm
CSEET, 1992.
@inproceedings{SEI-1992-Lutz, author = "Michael J. Lutz", booktitle = "{Proceedings of the Sixth Software Engineering Education Conference}", doi = "10.1007/3-540-55963-9_44", isbn = "3-540-55963-9", pages = "121--130", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Formal Methods and the Engineering Paradigm}", volume = 640, year = 1992, }