@inproceedings{CSEET-2017-HeymSBSPHKS,
	author        = "Wayne D. Heym and Paolo A. G. Sivilotti and Paolo Bucci and Murali Sitaraman and Kevin Plis and Joseph E. Hollingsworth and Joan Krone and Nigamanth Sridhar",
	booktitle     = "{Proceedings of the 30th Conference on Software Engineering Education and Training}",
	doi           = "10.1109/CSEET.2017.40",
	isbn          = "978-1-5386-2536-1",
	pages         = "202--211",
	publisher     = "{IEEE}",
	title         = "{Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions}",
	year          = 2017,
}