Pearce, David J
[VerfasserIn]
;
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