Assertions in Programming: From Scientific Theory to Engineering Practice

מידע ביבליוגרפי
מחבר ראשי: Hoare, C
פורמט: Record
יצא לאור: 2002