@inproceedings{ITiCSE-2015-ChaudhariD,
	author        = "Dipak L. Chaudhari and Om P. Damani",
	booktitle     = "{Proceedings of the 20th Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/2729094.2742628",
	isbn          = "978-1-4503-3440-2",
	pages         = "266--271",
	publisher     = "{ACM}",
	title         = "{Introducing Formal Methods via Program Derivation}",
	year          = 2015,
}