Koen Claessen
Contact Information
Koen Lindström Claessen Dept. of Computer Science and Engineering Software Technology and Engineering Division Chalmers University of Technology 412 96 Gothenburg Sweden Office: EDIT-building, room 5465 E-mail: koen@chalmers.se Phone: +46-31-7725424 Fax: +46-31-7723663
Home