Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Browse the full PDP paper archive.