Why Just Boogie? - Translating Between Intermediate Verification Languages.

Michael Ameri, Carlo A. Furia

Browse the full IFM paper archive.