Software and Information Systems
Research (Coming Soon)
Copyright text here
Flexible In-lined Reference Monitor Certification: Challenges and Future Directions
Meera Sridhar and Kevin W. Hamlen
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification
(PLPV), pp. 55—60, January 2011.
Publication year: 2011