Skip to main content

Assertions

C. A. R. Hoare

Book Title
Integrated Formal Methods‚ Second International Conference‚ IFM 2000‚ Dagstuhl Castle‚ Germany‚ November 1−3‚ 2000‚ Proceedings
Editor
Wolfgang Grieskamp and Thomas Santen and Bill Stoddart
Pages
1−2
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1945
Year
2000