TY  - RPRT
TI  - Translating Scala Programs to Isabelle/HOL
AU  - Lars Hupel
AU  - Viktor Kuncak
PY  - 2016
DO  - 10.1007/978-3-319-40229-1_38
UR  - https://arxiv.org/abs/1607.01539
ID  - 1607.01539
ER  -