Programming Languages meets Program Verification
PLPV 2007: Freiburg, Germany
Aaron Stump, Hongwei Xi (Eds.):
Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007.
ACM 2007, ISBN 978-1-59593-677-6
Contents 
Copyright © Thu Dec 10 20:13:50 2009
by Michael Ley (ley@uni-trier.de)
