Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
Tony Hoare and Jayadev Misra
Book Title
Verified Software: Theories‚ Tools‚ Experiments‚ First IFIP TC 2/WG 2.3 Conference‚ VSTTE 2005‚ Zurich‚ Switzerland‚ October 10−13‚ 2005‚ Revised Selected Papers and Discussions
Editor
Bertrand Meyer and Jim Woodcock
Pages
1−18
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4171
Year
2005