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