Why Just Boogie? - Translating Between Intermediate Verification Languages. - Michael Ameri; Carlo A. Furia (IFM, 2016)