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

by Shing-Chi Cheung