학술논문
Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Document Type
Article
Source
In Theoretical Computer Science 2010 411(22):2174-2201
Subject
Language
ISSN
0304-3975