Java Implementation Verification Using Reverse Engineering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'David J. A. Cooper' in GoogleThis author has not been identified. Look up 'Benjamin Khoo' in GoogleThis author has not been identified. Look up 'Brian R. von Konsky' in GoogleThis author has not been identified. Look up 'Mike Robey' in Google

runs on WebDSL