Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering - Notkin
On-Campus Access Only (IP based access)