Meera Sridhar
Associate Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
Flexible In-lined Reference Monitor Certification: Challenges and Future Directions
In Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV), pp. 55—60, January 2011.
Publication year: 2011