Primary tabs

Most recent publications

IEEE Transactions on Software Engineering 33 (2007): 87-107.
Journal Article
2007
Information and Software Technology 49 (2007): 1073-1086.
Journal Article
2007
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Proceedings, refereed
1998

Students under supervision

Find publication

Status

Export 5 results:
2007

Journal articles

IEEE Transactions on Software Engineering 33 (2007): 87-107.
Status: Published
Information and Software Technology 49 (2007): 1073-1086.
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

Technical reports

University of Edinburgh, 1998.
Status: Published