Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografske podrobnosti
Glavni avtor: Hoare, C
Format: Conference item
Izdano: Springer 2002