Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
ACM Digital Library