Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Título (dcterms:title): Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Autores (dcterms:creator): Clarke
Año Publicación (dcterms:date): 2013
Editorial (dcterms:publisher): Springer Berlin Heidelberg
ISBN (bibo:isbn): 978-3-642-36945-2
eBook (bibo:isbn13): 978-3-642-36946-9
PDF (bibo:uri): https://cutt.ly/hhpOvG6