Aaron Stump Hongwei Xi Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007 PLPV ACM 2007 978-1-59593-677-6 db/conf/plpv/plpv2007.html