Teaching formal software engineering at Loughborough

Roger G. Stone, John Cooke. Teaching formal software engineering at Loughborough. In Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1992, Loughborough, UK, January 2-4, 1992. pages 11, Psychology of Programming Interest Group, 1992. [doi]

Abstract

Abstract is missing.