Stijn de Gouw

Researcher

Fullname Dr. C.P.T. de Gouw
Function(s) Researcher
Telephone 4241
Room L210
Department(s) Formal Methods

Selected Publications

  • B. Nobakht, M.M. Bonsangue, F.S. de Boer, C.P.T. de Gouw, Monitoring Method Call Sequences using Annotations, Springer, 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, ACM, 2010