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]
@inproceedings{Hoare02:1, title = {Assertions in Programming: From Scientific Theory to Engineering Practice}, author = {C. A. R. Hoare}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2311/23110350.htm}, tags = {software engineering, C++, programming}, researchr = {https://researchr.org/publication/Hoare02%3A1}, cites = {0}, citedby = {0}, pages = {350-351}, booktitle = {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}, volume = {2311}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43481-X}, }