colocated with POPL 2013

• 
  Matthew Might, David Van Horn, Andreas Abel, Tim Sheard (Eds.): Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013 ISBN 978-1-4503-1860-0 [ contents ]

colocated with POPL 2012

• 
  Koen Claessen, Nikhil Swamy (Eds.): Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012 ISBN 978-1-4503-1125-0 [ contents ]

colocated with POPL 2011

• 
  Ranjit Jhala, Wouter Swierstra (Eds.): Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011 ISBN 978-1-4503-0487-0 [ contents ]

colocated with POPL 2010

• 
  Jean-Christophe Filliâtre, Cormac Flanagan (Eds.): Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. ACM 2010 ISBN 978-1-60558-890-2 [ contents ]

colocated with POPL 2009

• 
  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 [ contents ]

colocated with ICFP 2007

• 
  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 ]

colocated with IJCAR 2006

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2013-10-16T203152 by the dblp team