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

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