Search for persons
X
?
Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops ,
4
A Calculus of Chaos in Stochastic Compilation: Engineering ..:
, In:
?
31st IEEE Software Engineering Workshop (SEW 2007) ,
9
Verification in the Light and Large: Large-Scale Verificati..:
, In:
?
Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies ,
12
One million (LOC) and counting : static analysis for err..:
, In:
?
Reliable Software Technologies – Ada-Europe 2006; Lecture Notes in Computer Science ,
13
One Million (LOC) and Counting: Static Analysis for Errors ..:
, In:
?
Proceedings of the 18th IEEE International Conference on Automated Software Engineering ,
14
Automated requirements-based generation of test cases for p..:
, In:
?
Proceedings of the 14th international conference on Software engineering and knowledge engineering ,
15