Deciding Bit−Vector Arithmetic with Abstraction

Deciding Bit−Vector Arithmetic with Abstraction

Bibliographische Detailangaben
Hauptverfasser: Bryant, R, Kroening, D, Ouaknine, J, Seshia, S, Strichman, O, Brady, B
Format: Conference item
Veröffentlicht: Springer 2007

Ähnliche Einträge