PLPV '09

Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009
Author(s): Thorsten Altenkirch,Todd Millstein
Read reviews
Loading Puzzle...
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?