Assertions in Programming: From Scientific Theory to Engineering Practice

Dettagli Bibliografici
Autore principale: Hoare, C
Natura: Conference item
Pubblicazione: Springer 2002