Software and Information Systems
Research (Coming Soon)
Copyright text here
Model-Checking In-Lined Reference Monitors
Meera Sridhar and Kevin W. Hamlen
Proceedings of the 11th International Conference on Verification, Model Checking, & Abstract Interpretation
(VMCAI), pp. 312—327, January 2010.
Publication year: 2010
Leave a Reply
Your email address will not be published.
Required fields are marked