Meera Sridhar
Assistant Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
Home
Research
Publications
Teaching
Download CV
CCI SmartHome Lab
Contact
Flexible In-lined Reference Monitor Certification: Challenges and Future Directions
Workshop paper
Meera Sridhar and Kevin W. Hamlen
In
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification
(PLPV), pp. 55—60, January 2011.
Publication year: 2011
External Link