Reducer-based construction of conditional verifiers.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim

Browse the full ICSE paper archive.