Enno Ruijters
University of Twente
Faculty of Electrical Engineering, Mathematics, and Computer Science
Formal Methods and Tools Group (FMT)

P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 5108
Office: Zilverling 3110
Email: e.j.j.ruijters [at-sign] utwente.nl (GPG key)
Homepage: https://www.ennoruijters.nl