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