Dr. Ivan S. Zapreev

PhD student (AiO)

University of Twente
Department of Computer Science
Formal Methods & Tools Group
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone (w):	+31 53 489 3767
Phone (m):	+31 64 599 6656
Fax:	+31 53 489 3247
ICQ:	33921087
Email:	zapreevis[at]cs.utwente.nl
Office:	INF 5027

There were visitors here.