Jun-gang Han

	2004
1		Tian-jun Zuo, Jun-gang Han, Ping Chen: Formalizing Java Dynamic Loading in HOL. TPHOLs 2004: 287-304

Coauthor Index

1	Ping Chen	[1]
2	Tian-jun Zuo	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page