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
2000
Proceedings, refereed
In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published

