| |
Arend RensinkFull professor (Software Modelling, Transformation and Verification)Formal Methods and Tools Department of Computer Science University of Twente P.O. Box 217, NL-7500 AE Enschede |
| Office: | Zilverling 5090 |
| Tel: | +31 (0)53 489 4862 |
| Fax: | +31 (0)53 489 3247 |
| Email: | rensink@cs.utwente.nl |