Executable JVM model for analytical reasoning: A study

Hanbing Liu, J. Strother Moore. Executable JVM model for analytical reasoning: A study. Science of Computer Programming, 57(3):253-274, 2005. [doi]

Authors

Hanbing Liu

This author has not been identified. Look up 'Hanbing Liu' in Google

J. Strother Moore

This author has not been identified. Look up 'J. Strother Moore' in Google