Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface

Citation

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

BibTex Entry

@inproceedings{BlancKuncak15SoundReasoningIntegralDataTypes,
  author = {R\'egis Blanc and Viktor Kuncak},
  title = {Sound Reasoning about Integral Data Types with a Reusable {SMT} Solver Interface},
  booktitle = {Scala Symposium},
  year = 2015
}