Meera Sridhar
Assistant Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
Home
Research
Publications
Teaching
Download CV
CCI SmartHome Lab
Contact
Model-Checking In-Lined Reference Monitors
Conference paper
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
External Link
Leave a Reply
Cancel reply
Your email address will not be published.
Required fields are marked
*
Comment
Name
(required)
Email
(required)
Website
Leave a Reply