Formalizing JavaMaC (2003)

by U Sammapun, R Sharykin, M Delap, M Kim, S Zdancewic
Venue:Proceedings of the Third Runtime Verification Workshop