Tian-jun Zuo

According to our database, Tian-jun Zuo authored at least 1 paper in 2004.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2004

Formalizing Java Dynamic Loading in HOL.

Tian-jun Zuo, Jun-gang Han, Ping Chen

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004