in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014 in PLPV
Pages: 15-26
Conference
2014 8Th Acm Sigplan Workshop on Programming Languages Meets Program Verification, Plpv 2014 - Co-Located with Popl 2014, Date: 21 January 2014 through 21 January 2014, Location: San Diego, CA, Sponsors: ACM SIGPLAN