Régis Blanc and Viktor Kuncak. Sound reasoning about integral data types with a reusable SMT solver interface. In
Scala Symposium
, 2015.
[
bib
]
Back