%0 Generic %C New York, N.Y. : %D c2007. %I Association for Computing Machinery, %@ 9781595936776 %T PLPV'07 proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 / %U http://SK8ES4MC2L.search.serialssolutions.com/?sid=sersol&SS_jc=TC0000752998&title=PLPV%2707%20%3A%20proceedings%20of%20the%202007%20workshop%20on%20Programming%20Languages%20meets%20Program%20Verification%2C%20Freiburg%2C%20Germany%2C%20October%205%2C%202007