Literature

Found 2 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Purandare  [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
2009
Purandare, P., Wahl, T., Kroening, D. , "Strengthening Properties using Abstraction Refinement ", DATE, Nice, ACM, pp. 1692-1697, 2009  . Abstract
 Export: Tagged XML BibTex