Author:
Esen Zafer,Rümmer Philipp
Publisher
Springer International Publishing
Reference32 articles.
1. Backeman, P., Rümmer, P., Zeljic, A.: Bit-vector interpolation and quantifier elimination by lazy reduction. In: Bjørner, N., Gurfinkel, A. (eds.) 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, 30 October–2 November 2018, pp. 1–10. IEEE (2018). https://doi.org/10.23919/FMCAD.2018.8603023
2. Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for a theory of inductive data types. JSAT 3(1–2), 21–46 (2007)
3. Lecture Notes in Computer Science;N Bjørner,2015
4. Lecture Notes in Computer Science;N Bjørner,2013
5. Lecture Notes in Computer Science;A Brillout,2011