TY  - RPRT
TI  - Why Just Boogie? Translating Between Intermediate Verification Languages
AU  - Michael Ameri
AU  - Carlo A. Furia
PY  - 2016
DO  - 10.1007/978-3-319-33693-0%206
UR  - https://arxiv.org/abs/1601.00516
ID  - 1601.00516
ER  -