Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
ACM Digital Library