dblp.uni-trier.de www.uni-trier.de

PLPV 2009: Savannah, GA, USA

Thorsten Altenkirch, Todd D. Millstein (Eds.): Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-330-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Session 1

Session 2

Session 3

Copyright © Fri Mar 12 17:19:50 2010 by Michael Ley (ley@uni-trier.de)