Efficient Verification of Program Fragments: Eager POR.

Patrick Metzler, Habib Saissi, Pter Bokor, Robin Hesse, Neeraj Suri

Browse the full ATVA paper archive.