Peter A. Lindsay, David Hemer. An Industrial-Strength Method For The Construction Of Formally Verified Software. In 1996 Australian Software Engineering Conference (ASWEC 96), July 14-18, 1996, Melbourne, Australia. pages 27, IEEE Computer Society, 1996. [doi]
@inproceedings{LindsayH96,
title = {An Industrial-Strength Method For The Construction Of Formally Verified Software},
author = {Peter A. Lindsay and David Hemer},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350027abs.htm},
researchr = {https://researchr.org/publication/LindsayH96},
cites = {0},
citedby = {0},
pages = {27},
booktitle = {1996 Australian Software Engineering Conference (ASWEC 96), July 14-18, 1996, Melbourne, Australia},
publisher = {IEEE Computer Society},
}