| by | Work done with | |
|
Geoff Sutcliffe Department of Computer Science University of Miami USA geoff@cs.miami.edu |
Matthias Fuchs Automated Reasoning Group Australian National University Australia fuchs@arp.anu.edu.au | Christian Suttner Antfactory Germany csuttner@antfactory.com |