학술논문
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Document Type
Article
Author
Source
In: Formal Methods in System Design . (Formal Methods in System Design, August 2021, 57(2):121-156)
Subject
Language
English
ISSN
15728102
09259856
09259856