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

書目詳細資料
其他作者: Clarke
格式: 電子 電子書
語言:English
出版: Springer Berlin Heidelberg, 2013
版:1
主題:
在線閱讀:Full text available on Springer
Off-campus access