How Did Software Get So Reliable Without Proof?

Bibliografiset tiedot
Päätekijä: Hoare, C
Aineistotyyppi: Conference item
Julkaistu: Springer 1996