@inproceedings{bkossb2007-tacas, title = "Deciding Bit-Vector Arithmetic with Abstraction", author = "Bryant, Randal E. and Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit A. and Strichman, Ofer and Brady, Bryan", year = "2007", booktitle = "Proceedings of TACAS 2007", pages = "358--372", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4424", }