Conference item icon

Conference item

Deciding Bit−Vector Arithmetic with Abstraction

Actions


Authors


Randal E. Bryant More by this author
Daniel Kroening More by this author
Joel Ouaknine More by this author
Sanjit A. Seshia More by this author
Ofer Strichman More by this author
Expand authors...
Publisher:
Springer
Volume:
4424
Publication date:
2007
URN:
uuid:14a5203b-0c7d-43ff-bcd1-61b30404fe10
Local pid:
cs:715

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP