Java Implementation Verification Using Reverse Engineering

David J. A. Cooper, Benjamin Khoo, Brian R. von Konsky, Mike Robey. Java Implementation Verification Using Reverse Engineering. In Vladimir Estivill-Castro, editor, Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. Volume 26 of CRPIT, pages 203-211, Australian Computer Society, 2004. [doi]

Abstract

Abstract is missing.