Verifying Exception-Handling Code in Concurrent Libraries.

Dhriti Khanna, Subodh Sharma, Rahul Purandare

Browse the full APSEC paper archive.