Marina Zaharieva-Stojanovski

University of Twente

Department of Computer Science

Formal methods and Tools

P.O. Box 217

7500 AE Enschede

The Netherlands

Phone: +31 53 489 4287

Email: m.zaharieva@utwente.nl

Homepage: http://www.cs.utwente.nl/~zaharievam/

Office: Zilverling 5027