Ranjit Jhala, Wouter Swierstra, editors, Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM, 2011.
Conference: plpv2011
No references recorded for this publication.
No citations of this publication recorded.