C. A. R. Hoare. Assertions in Programming: From Scientific Theory to Engineering Practice. In David W. Bustard, Weiru Liu, Roy Sterritt, editors, Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings. Volume 2311 of Lecture Notes in Computer Science, pages 350-351, Springer, 2002. [doi]
Abstract is missing.