Search results for: Christophe Morvan
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2001 > Contributed Talks > 548-559
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Research Papers > 21-33
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 252-266
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 271-294
Software Testing, Verification and Reliability > 24 > 7 > 532 - 557
Acta Informatica > 2005 > 41 > 4-5 > 293-314