Alessandro Coglio Improving the official specification of Java bytecode verification. 155-179 2003 15 Concurrency and Computation: Practice and Experience 2 db/journals/concurrency/concurrency15.html#Coglio03