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