Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2005
Journal articles
IEEE Transactions on Software Engineering 31 (2005): 733-753.
Status: Published
1998
Proceedings, refereed
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

