Aliasing in Object-Oriented Programming. Types, Analysis and Verification

التفاصيل البيبلوغرافية
مؤلفون آخرون: Clarke
التنسيق: الكتروني كتاب الكتروني
اللغة:English
منشور في: Springer Berlin Heidelberg, 2013
الطبعة:1
الموضوعات:
الوصول للمادة أونلاين:Full text available on Springer
Off-campus access