1
منشور في 2007
جدول المحتويات: ...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...
احصل على النص الكامل
الكتروني كتاب الكتروني