Meera Sridhar
Assistant Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
Model-Checking In-Lined Reference Monitors
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