Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor. Formal Methods Pilot Project. In 3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South Korea. pages 238-245, IEEE Computer Society, 1996. [doi]
@inproceedings{HartLMRKLRT96,
title = {Formal Methods Pilot Project},
author = {Tracey Hart and Fiona Linn and Roberto Morello and Greg Royle and Peter Kearney and Peter A. Lindsay and Kelvin J. Ross and Owen Traynor},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/apsec/1996/7638/00/76380238abs.htm},
researchr = {https://researchr.org/publication/HartLMRKLRT96},
cites = {0},
citedby = {0},
pages = {238-245},
booktitle = {3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South Korea},
publisher = {IEEE Computer Society},
}