1
منشور في 2007
جدول المحتويات: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
احصل على النص الكامل
الكتروني كتاب الكتروني