Assertions in Programming: From Scientific Theory to Engineering Practice

Détails bibliographiques
Auteur principal: Hoare, C
Format: Conference item
Publié: Springer 2002