Unification of Theories: A Challenge for Computing Science

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hoare, C
التنسيق: Conference item
منشور في: Springer 1995