Wei-Ngan Chin, Aquinas Hobor, editors, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. ACM, 2012. [doi]
Conference: ECOOP2012
No references recorded for this publication.
No citations of this publication recorded.