Full name: Michiel Helvensteijn
Formal name: M.sc. M. Helvensteijn
Function: PhD student
Email: Michiel.Helvensteijn@cwi.nl
Room: L209
Research groups: Formal Methods
Formal name: M.sc. M. Helvensteijn
Function: PhD student
Email: Michiel.Helvensteijn@cwi.nl
Room: L209
Research groups: Formal Methods
Career
| 2013 | Gedetacheerde FM - Formal methods |
| 2012 - 2013 | Gedetacheerde SEN3 - Foundations of Software Engineering |
| 2009 - 2012 | PhD student SEN3 - Foundations of Software Engineering |
Selected Publications
| D. Clarke, M. Helvensteijn, I. Schaefer. Abstract Delta Modeling. Proceedings of the 2010 Conference on Generative Programming and Component Engineering, Eindhoven Embedded Systems Institute, 13–22, 2010. |
