Verifying Real-World Software with Contracts for Concurrency.

Joo M. Loureno

Browse the full ISoLA paper archive.