Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliográfalaš dieđut
Váldodahkki: Hoare, C
Materiálatiipa: Conference item
Almmustuhtton: Springer 2002