Meera Sridhar and Kevin W. Hamlen
In Proceedings of the 11th International Conference on Verification, Model Checking, & Abstract Interpretation (VMCAI), pp. 312—327, January 2010.
Publication year: 2010

Leave a Reply

Your email address will not be published. Required fields are marked *