Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

書目詳細資料
格式: 電子 電子書
語言:英语
出版: Association for Computing Machinery (ACM), 7/17/16
主題:
在線閱讀:Full text available on Research4Life (ACM)

相似書籍