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]
@inproceedings{StoneC92,
title = {Teaching formal software engineering at Loughborough},
author = {Roger G. Stone and John Cooke},
year = {1992},
url = {http://ppig.org/library/paper/teaching-formal-software-engineering-loughborough},
researchr = {https://researchr.org/publication/StoneC92},
cites = {0},
citedby = {0},
pages = {11},
booktitle = {Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1992, Loughborough, UK, January 2-4, 1992},
publisher = {Psychology of Programming Interest Group},
}