Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
ACM Digital Library