Proceedings of the 3rd workshop on Programming languages meets program verification
ACM Digital Library