Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation - Jhala
On-Campus Access Only (IP based access)