Coordinates @utwente

• Visiting Address
  Office 3063
  Zilverling Building
  University of Twente
  Nr 11 on this map
  
  
• Mail Address
  Dept. of Computer Science (Zilverling)
  Formal Methods & Tools
  P.O. Box 217
  7500 AE Enschede
  The Netherlands
  
  
• Phone
  +31 53 489 3773 (voice)
  +31 53 489 3767 (secretary)
  
• e-mail
  m.i.a.stoelinga"at"utwente.nl
  (marielle"at"cs.utwente.nl no longer works!)
  

Coordinates @Radboud University

• Visiting Address
  Mercator 1
  Room: 1.16
  Toernooiveld 212
  6525 EC Nijmegen
  The Netherlands
  Nr 28 on this map
  
  
• Phone
  +31 53 489 3773 (voice)
  
  
• Mail Address
  Institute for Computing and Information Sciences
  Model Based System Development
  Faculty of Science
  Radboud University Nijmegen
  PO Box 9010
  6500 GL Nijmegen
  
  
• e-mail
  marielle"at"cs.utwente.nl