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

Bibliografische gegevens
Andere auteurs: Clarke
Formaat: Elektronisch E-boek
Taal:English
Gepubliceerd in: Springer Berlin Heidelberg, 2013
Editie:1
Onderwerpen:
Online toegang:Full text available on Springer
Off-campus access