Formal Methods for Software Engineers: Tradeoffs in Curriculum Design

David Garlan. Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. In Carol A. Sledge, editor, Software Engineering Education, SEI Conference, 1992, Proceedings. Volume 640 of Lecture Notes in Computer Science, pages 131-142, Springer, 1992.