Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

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

相似書籍