Assertions in Programming: From Scientific Theory to Engineering Practice

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hoare, C
التنسيق: Record
منشور في: 2002