| |
In MSR '05: Proceedings of the 2005 international workshop on Mining software repositories (2005), pp. 1-5.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 3. (2006), pp. 517-575.
|
| |
|
| |
Acta Informatica, Vol. 1, No. 4. (1 December 1972), pp. 271-281.
|
| |
|
| |
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings In Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, Vol. 1 (2004), pp. xxix-xxix.
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 551-556.
|
| |
ArXiv Computer Science e-prints (December 2004)
|
| |
Theoretical Aspects of Computing - ICTAC 2008 In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008), pp. 258-273.
|
| |
|
| |
|
| |
|
| |
Formal Methods: Applications and Technology (2007), pp. 293-296.
|
| |
|
| |
|
| |
|
| |
In SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing (2009), pp. 404-408.
|
| |
Electronic Notes in Theoretical Computer Science In WFLP 2001, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers, Vol. 64 (September 2002), pp. 1-17.
|
| |
Int. J. Softw. Tools Technol. Transf., Vol. 7, No. 3. (1 June 2005), pp. 212-232.
|
| |
Quality of Software Architectures and Software Quality (2005), pp. 242-256.
|
Search
