Proceedings of the third workshop on Formal methods in software practice
ACM Digital Library