An Interactive Verification Tool Meets an IDE.

Martin Hentschel, Stefan Ksdorf, Reiner Hhnle, Richard Bubel

Browse the full IFM paper archive.