Consistent and Complementary Formal Theories of the Semantics of Programming Languages

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Hoare, C, Lauer, P
التنسيق: Journal article
منشور في: 1974