Back to homepage utwente.nlFormal Methods and Tools (FMT)
Website: fmt.cs.utwente.nl
Email: fmt_secr@cs.utwente.nl
Chair |
Secretary |
Phone |
Room |
Prof.dr. J.C. van de Pol |
J.M.W. Lammerink (Joke) |
+31-53-489-3767 |
ZI 5049 |
Electrical Engineering, Mathematics and Computer Science
