Computer Aided Verification

التفاصيل البيبلوغرافية
مؤلفون آخرون: Shoham
التنسيق: الكتروني كتاب الكتروني
اللغة:English
منشور في: Springer International Publishing, 2022
الطبعة:1
الموضوعات:
الوصول للمادة أونلاين:Full text available on Springer
Off-campus access
Search Result 1
منشور في 2022
Off-Campus Access: Athens ID and Password Required
On-Campus Access: No User ID or Password Required
Full text available on Springer
Off-campus access
الكتروني كتاب الكتروني