Assertions in Programming: From Scientific Theory to Engineering Practice

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hoare, C
Μορφή: Conference item
Έκδοση: Springer 2002