Full name: Stijn de Gouw
Formal name: M.sc. C.P.T. de Gouw
Function: PhD student
Email: Stijn.de.Gouw@cwi.nl
Room: L209
Research groups: Formal Methods
Formal name: M.sc. C.P.T. de Gouw
Function: PhD student
Email: Stijn.de.Gouw@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
| B. Nobakht, M.M. Bonsangue, F.S. de Boer, C.P.T. de Gouw. Monitoring Method Call Sequences using Annotations. International Workshop on Formal Aspects of Component Software, Lecture Notes in Computer Science, Universidade do Minho, 2010. |
| C.P.T. de Gouw, F.S. de Boer, J.J. Vinju. Prototyping a tool environment for run-time assertion checking in JML with Communication Histories. Proceedings of 12th Workshop on Formal Techniques for Java-like Programs 2010, 2010. |
