DMCA

Formalizing JavaMaC (2003)

by Raman Sharykin , Margaret Delap , Myong Kim , Stephan A. Zdancewic , Usa Sammapun , Raman Sharykin , Margaret Delap , Myong Kim , Steve Zdancewic
Venue:Proceedings of the Third Runtime Verification Workshop
Citations:1 - 0 self