DMCA

Instrumentation of Java Bytecode for Runtime Analysis (2003)

by Allen Goldberg , Klaus Havelund
Venue:In Proc. Formal Techniques for Java-like Programs, volume 408 of Technical Reports from ETH
Citations:16 - 6 self