Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceeding

by Ranjit Jhala, David Schmidt Paperback 2011