Lin Zucconi, Greg Royle, Karl Reed, John Staples. Do Formal Methods Really Work?. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 66, IEEE Computer Society, 1996. [doi]
@inproceedings{ZucconiRRS96,
title = {Do Formal Methods Really Work?},
author = {Lin Zucconi and Greg Royle and Karl Reed and John Staples},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350066abs.htm},
researchr = {https://researchr.org/publication/ZucconiRRS96},
cites = {0},
citedby = {0},
pages = {66},
booktitle = {2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN},
publisher = {IEEE Computer Society},
}