| by | |
|
Geoff Sutcliffe Department of Computer Science University of Miami USA geoff[@]cs.miami.edu |
Stephan Schulz Fakultät für Informatik Technische Universitiät München Germany schulz[@]informatik.tu-muenchen.de |
|
Koen Claessen Department of Computing Science Chalmers University of Technology Sweden koen[@]chalmers.se |
Allen Van Gelder Jack Baskin School of Engineering University of California at Santa Cruz USA avg[@]cs.ucsc.edu |