Verifiable and Executable Logic Specifications of Concurrent Objects in L

Lus Caires, Lus Monteiro

Browse the full ESOP paper archive.