| by | |||||
|
Martin Suda* Charles University in Prague Czech Republic |
Geoff Sutcliffe* University of Miami USA | ||||
|
Patrick Wischnewski Max-Planck-Institut für Informatik Germany |
Manuel Lamotte-Schubert Max-Planck-Institut für Informatik Germany |
Gerard de Melo Max-Planck-Institut für Informatik Germany | |||
* This research was done in the Automation of Logic group, Max-Planck-Institut für Informatik, Germany.