Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografiset tiedot
Päätekijä: Hoare, C
Aineistotyyppi: Record
Julkaistu: 2002