Modular Verification of Finite Blocking in Non-terminating Programs.

Pontus Bostrm, Peter Mller

Browse the full ECOOP paper archive.