Primary tabs

Most recent publications

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Proceedings, refereed
2012
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.
Proceedings, refereed
2000

Students under supervision

Find publication

Status

Publication type

Export 2 results:
2012

Proceedings, refereed

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
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