Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini. Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theoretical Computer Science, 411(22-24):2174-2201, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.