1
منشور في 2013
جدول المحتويات: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
احصل على النص الكامل
الكتروني كتاب الكتروني