Skip to main content

The Ideal of Verified Software

Tony Hoare

Book Title
Computer Aided Verification‚ 18th International Conference‚ CAV 2006‚ Seattle‚ WA‚ USA‚ August 17−20‚ 2006‚ Proceedings
Editor
Thomas Ball and Robert B. Jones
Pages
5−16
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4144
Year
2006