Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografische gegevens
Hoofdauteur: Hoare, C
Formaat: Conference item
Gepubliceerd in: Springer 2002