Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice.
Dyfyniad Arddull ChicagoHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
Dyfyniad MLAHoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.