Skip to main content

Assertions in Modern Software Engineering Practice

C. A. R. Hoare

Book Title
26th International Computer Software and Applications Conference (COMPSAC 2002)‚ Prolonging Software Life: Development and Redevelopment‚ 26−29 August 2002‚ Oxford‚ England‚ Proceedings
Pages
459−462
Publisher
IEEE Computer Society
Year
2002