Assertions in Programming: From Scientific Theory to Engineering Practice

Podrobná bibliografie
Hlavní autor: Hoare, C
Médium: Conference item
Vydáno: Springer 2002