Literature

Found 1 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Seshia  [Clear All Filters]
2009
Bryant, R., Kroening, D., Ouaknine, J., Seshia, S., Strichman, O., Brady, B. , "Deciding Bit-Vector Arithmetic with Abstraction", Software Tools for Technology Transfer (STTT), vol. 11, issue 2: Springer, pp. 95--104, 2009  . Abstract
 Export: Tagged XML BibTex