Primary tabs
Most recent publications
Selected publications
News
- 1 of 3
- next
Students under supervision
Available Master's topics
Status
Publication type
Year published
2003
Journal articles
Electronic Notes in Theoretical Computer Science 82 (2003): 575-591.
Status: Published
Proceedings, refereed
In Proceedings International Conference on Software Maintenance (ICSM). IEEE, 2003.
Status: Accepted
In Proceedings First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE). University of Waterloo, Canada, 2003.
Status: Published
In Language Descriptions Tools and Applications (LDTA), 2003.
Status: Accepted
1997
Proceedings, refereed
In Proceedings 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97). Electronic Workshops in Computing. Springer-Verlag, 1997.
Status: Accepted
In Proceedings 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97). Electronic Workshops in Computing. Springer-Verlag, 1997.
Status: Accepted
Book chapters
In Program Transformations for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Status: Published
In Program Transformations for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Status: Published
In Program Analysis for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Status: Published










