Literature

Found 2 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is D\'Silva  [Clear All Filters]
2010
D'Silva, V., Kroening, D., Purandare, M., Weissenbacher, G. , "Interpolant Strength", VMCAI 2010, vol. 5944, Madrid, Springer, pp. 129-145, 17/01/2010. Abstract
 Export: Tagged XML BibTex
2008
D'Silva, V., Kroening, D., Weissenbacher, G. , "A Survey of Automated Techniques for Formal Software Verification", A Survey of Automated Techniques for Formal Software Verification: IEEE, 2008  . Abstract
 Export: Tagged XML BibTex