[ACM Press the 19th Workshop - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17 - Software Model Checking
- 作者Asăvoae, Irina Măriuca; Nguyen, Hoang Nga; Roggenbach, Markus; Shaikh, Siraj Ahmed
- 文件大小1140.01KB
- 发表时间2017
- DOI10.1145/3103111.3104040
- 页码1-2