[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 - Consistency Types for Safe and Efficient Distributed Programming
Margara, Alessandro; Salvaneschi, Guido
- 作者Margara, Alessandro; Salvaneschi, Guido
- 文件大小504.66KB
- 发表时间2017
- DOI10.1145/3103111.3104044
- 页码1-2