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