Search results for: Antti Huima
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 47-61
Discrete Applied Mathematics > 2004 > 138 > 1-2 > 99-106
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 47-61
Discrete Applied Mathematics > 2004 > 138 > 1-2 > 99-106