Deciding Bit−Vector Arithmetic with Abstraction

Deciding Bit−Vector Arithmetic with Abstraction

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Bryant, R, Kroening, D, Ouaknine, J, Seshia, S, Strichman, O, Brady, B
التنسيق: Conference item
منشور في: Springer 2007

مواد مشابهة