Search for persons
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
3
Semantic Debugging:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
4
Input invariants:
, In:
?
14
Stochastic Algorithms: Foundations and Applications
Second International Symposium, SAGA 2003, Hatfield, UK, Se...
Lecture Notes in Computer Science ; 2827
?
Communications in Computer and Information Science; Bioinformatics Research and Development ,
15