Do Formal Methods Really Work?

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]

Authors

Lin Zucconi

This author has not been identified. Look up 'Lin Zucconi' in Google

Greg Royle

This author has not been identified. Look up 'Greg Royle' in Google

Karl Reed

This author has not been identified. Look up 'Karl Reed' in Google

John Staples

This author has not been identified. Look up 'John Staples' in Google