Search results for: Natalia Ioustinova
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 1-15
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 198-215
Electronic Notes in Theoretical Computer Science > 2007 > 191 > Complete > 25-48