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]
Abstract is missing.