1
Izdano 2007
Kazalo: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Polni tekst
Elektronski eKnjiga