Claude Marché. Jessie: an intermediate language for Java and C verification. In Aaron Stump, Hongwei Xi, editors, Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. pages 1-2, ACM, 2007. [doi]
Abstract is missing.