Hanbing Liu

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Hanbing Liu, J. Strother Moore: Executable JVM model for analytical reasoning: A study. Sci. Comput. Program. 57(3): 253-274 (2005)

2004

1 EE Hanbing Liu, J. Strother Moore: Java Program Verification via a JVM Deep Embedding in ACL2. TPHOLs 2004: 184-200

2005
2	EE	Hanbing Liu, J. Strother Moore: Executable JVM model for analytical reasoning: A study. Sci. Comput. Program. 57(3): 253-274 (2005)
2004
1	EE	Hanbing Liu, J. Strother Moore: Java Program Verification via a JVM Deep Embedding in ACL2. TPHOLs 2004: 184-200

Coauthor Index