Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografiske detaljer
Hovedforfatter: Hoare, C
Format: Record
Udgivet: 2002