Primary tabs
Most recent publications
Selected publications
News
- 1 of 3
- next
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
1999
Proceedings, refereed
In Proceedings 7th International Workshop on Program Comprehension. IEEE, 1999.
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