Primary tabs

Most recent publications

In Program Transformations for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Book Chapter
1997
In Program Transformations for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Book Chapter
1997
In Program Analysis for System Renovation, not specified. Centrum voor Wiskunde en Informatica (CWI), 1997.
Book Chapter
1997
In Proceedings 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97). Electronic Workshops in Computing. Springer-Verlag, 1997.
Proceedings, refereed
1997

Selected publications

Journal of Systems and Software 164 (2020).
Journal Article
2020
In 35th International Conference on Software Engineering (ICSE). ACM/IEEE, 2013.
Proceedings, refereed
2013

News

Available Master's topics

Find publication

Export 5 results:
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