Assertions in Programming: From Scientific Theory to Engineering Practice

Détails bibliographiques
Auteur principal: Hoare, C
Format: Record
Publié: 2002