Publication
-
Analysis and transformation of source code by parsing and rewriting Dissertation
Software Analysis and TransformationNovember 2005
-
November 2005
-
November 2005
-
Composing constraint solvers Dissertation
Formal MethodsNovember 2005
-
Omgaan met veranderende requirements in outsourcing-projecten Article
Informatie (NGI)December 2005 -
Een gemeenschap voor 'fenomenologische' theorie Article
FOMexpresDecember 2005 -
Informatici moeten keuzes maken Article
ComputableDecember 2005 -
Huidige software patenten ouderwets Article
ComputableDecember 2005