Search results for: Cyrille Artho
IEEE Transactions on Software Engineering > 2014 > 40 > 5 > 483 - 501
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 3 > 223-246
Electronic Notes in Theoretical Computer Science > 2005 > 141 > 1 > 109-128
Theoretical Computer Science > 2005 > 336 > 2-3 > 209-234
Electronic Notes in Theoretical Computer Science > 2005 > 131 > Complete > 3-14