Pearce, David J
[Author]
;
Association for Computing Machinery-Digital Library,
ACM Special Interest Group on Software Engineering,
ACM Special Interest Group on Programming Languages
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs