Executable JVM model for analytical reasoning:A study (2003)

by H Liu, J S Moore
Venue:In IVME '03: Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators