Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografiske detaljer
Hovedforfatter: Hoare, C
Format: Conference item
Udgivet: Springer 2002