Simple verification technique for complex java bytecode subroutines (2004)

by A Coglio
Venue:Concurrency and Computation: Practice and Experience