Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
Citación estilo ChicagoHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Cita MLAHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Warning: These citations may not always be 100% accurate.