Nils Anders Danielsson, Bart Jacobs 0002, editors, 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. [doi]
Conference: plpv2014