Java Program Verification via a JVM Deep Embedding in ACL2 (0)

by HANBING LIU, J STROTHER MOORE
Venue:In Proceedings of 17th International TPHOLs 2004 (2004), Konrad Slind, Annette Bunker, and Ganesh Gopalakrishnan, Eds