Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014

David J. Pearce, editor, Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM, 2014. [doi]

Conference: ECOOP2014

Editors

David J. Pearce

This author has not been identified. Look up 'David J. Pearce' in Google