default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

• 
  Nils Anders Danielsson, Bart Jacobs:
  Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. ACM 2014, ISBN 978-1-4503-2567-7 [contents]

colocated with POPL 2013

• 
  Matthew Might, David Van Horn, Andreas Abel, Tim Sheard:
  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:
  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:
  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:
  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:
  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:
  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

maintained by at