Java-MaC: A Run-Time Assurance Approach for Java Programs,” Formal Methods (2004)

by M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky
Venue:in System Design (FMSD),