Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco. Fixing the Java bytecode verifier by a suitable type domain. In SEKE. pages 377-382, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.