Joke Lammerink
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 3767
Fax: +31 53 489 3247
Email: jlammeri [at-sign] cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~jlammeri/
Office: Zilverling 5049