1
Julkaistu 2007
Sisällysluettelo: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Hae kokoteksti
Elektroninen E-kirja