Invited Paper Proceedings of The 8th Z Users Meeting, June 1994
@InProceedings{Garlan94ZUM,
author = "David Garlan",
title = "Integrating Formal Methods into a Professional
Master of Software Engineering Program",
key = "Garlan",
booktitle = "Proceedings of the Eighth Z User Meeting",
year = 1994,
month = "June",
series = "Workshops in Computing",
publisher = "Springer-Verlag",
address = "Cambridge, England"}