Standard iteration for Java bytecode veri (2000)

by Z Qian
Venue:ACM Transactions on Programming Languages and Systems