Assertions in Programming: From Scientific Theory to Engineering Practice
C. A. R. Hoare
Book Title
Soft−Ware 2002: Computing in an Imperfect World‚ First International Conference‚ Soft−Ware 2002‚ Belfast‚ Northern Ireland‚ April 8−10‚ 2002‚ Proceedings
Editor
David W. Bustard and Weiru Liu and Roy Sterritt
Pages
350−351
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2311
Year
2002