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