Java bytecode verification is not possible (0)

by R F Stärk, J Schmid
Venue:In Formal Methods and Tools for Computer Science, Eurocast. Universidad de Las Palmas de Gran Canaria, 2001. Extended Abstract