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 BibTeX
Copyright © Sat May 16 23:33:34 2009
by Michael Ley (ley@uni-trier.de)
