1
منشور في 2010
جدول المحتويات: ... Model Enumeration -- Session 13. Concurrent Program Verification II -- Bounded Underapproximations...
احصل على النص الكامل
الكتروني كتاب الكتروني