@inproceedings{CSEET-2007-SobelC,
	author        = "Ann E. Kelley Sobel and Sherrie Campbell",
	booktitle     = "{Proceedings of the 20th Conference on Software Engineering Education and Training}",
	doi           = "10.1109/CSEET.2007.50",
	isbn          = "0-7695-2893-7",
	pages         = "123--132",
	publisher     = "{IEEE Computer Society}",
	title         = "{Supporting the Formal Analysis of Software Designs}",
	year          = 2007,
}