Verification for Java's Reentrant Multithreading Concept.

Erika brahm-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Browse the full FOSSACS paper archive.