Computational analysis of run-time monitoring - fundamentals of java-mac (0)

by M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Venue:Electr. Notes Theor. Comput. Sci