Koen Claessen, Nikhil Swamy, editors, Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM, 2012.
Conference: plpv2012
No references recorded for this publication.
No citations of this publication recorded.