Difference Verification with Conditions.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger

Browse the full SEFM paper archive.