Frédéric Painchaud, Mourad Debbabi. On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. In 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 4-16 June 2000, Gaithersburg, MD, USA. pages 189-194, IEEE Computer Society, 2000. [doi]
Abstract is missing.