A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. - Loren Segal; Patrice Chalin (VSTTE, 2012)