Lars Hupel and Viktor Kuncak. Translating scala programs to isabelle/hol (system description). In International Joint Conference on Automated Reasoning (IJCAR), 2016.

[ bib ] Back