Primary tabs
Most recent publications
Selected publications
News
- 1 of 3
- next
Students under supervision
Available Master's topics
Status
Publication type
Year published
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










