Browse by Subject program instrumentation

Showing results 1 to 1 of 1

1
Java-MaC: A run-time assurance approach for Java programs

Kim, Moonzooresearcher; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0