Primary tabs

Most recent publications

In Advanced Topics in Empirical Software Engineering, 312-336. Springer, 2008.
Book Chapter
2008
IEEE Transactions on Software Engineering 34 (2008): 242-259.
Journal Article
2008
In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Proceedings, refereed
1999
In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Proceedings, refereed
1999

Students under supervision

Find publication

Status

Export 4 results:
2008

Journal articles

IEEE Transactions on Software Engineering 34 (2008): 242-259.
Status: Published

Book chapters

In Advanced Topics in Empirical Software Engineering, 312-336. Springer, 2008.
Status: Published
1999

Proceedings, refereed

In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published
In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published