A programming logic for Java bytecode programs, in (2003)

by C L Quigley
Venue:D.A. Basin, B. Wolff (Eds.), TPHOLs, in: LNCS