Mark Timmer
University of Twente
Department of Computer Science
Formal Methods and Tools Group (FMT)

P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 3722
Fax: +31 53 489 3247
Office: Zilverling 5078
Email: timmer [at-sign] cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~timmer/



Carmel College Salland
Afdeling HAVO / VWO


Hofstedelaan 4
8101 AH Raalte
Nederland

Telefoon: +31 572 34 85 00
E-mail: m.timmer [at-sign] carmelcollegesalland.nl