Verifying a compiler for Java threads (0)

by A Lochbihler
Venue:in European conference on Programming Languages and Systems, 2010