Stuart Steele. Software Engineering Education and Formal Methods. In Hamid R. Arabnia, Azita Bahrami, Victor A. Clincy, editors, Proceedings of the 2009 International Conference on Frontiers in Education: Computer Science & Computer Engineering, FECS 2009, July 13-16, 2009, Las Vegas Nevada, USA. pages 147-151, CSREA Press, 2009.
Abstract is missing.