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
@proceedings{plpv-2014, title = {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}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2541568}, researchr = {https://researchr.org/publication/plpv-2014}, cites = {0}, citedby = {0}, booktitle = {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}, conference = {plpv}, editor = {Nils Anders Danielsson and Bart Jacobs 0002}, publisher = {ACM}, isbn = {978-1-4503-2567-7}, }