1
Publicado em 2007
Sumário: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Obter o texto integral
Recurso Electrónico livro electrónico