الموضوعات المستخلصة من بحثك.
بدائل البحث:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming generating » programming generative, programming integrating, programming genetic
generating array » generating a, genetic array, generating data
array via » arrays via, array a, array ara
1
صورة الغلاف
منشور في 2010
جدول المحتويات: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث