Slicing an Integrated Formal Method for Verification.

Ingo Brckner, Heike Wehrheim

Browse the full ICFEM paper archive.