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