On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).

Joo Mota, Marco Giunti, Antnio Ravara

Browse the full ECOOP paper archive.