Kuangnan Chang

	2006
3		Kuangnan Chang, David Chenho Kung: Model Checking with Induction. COMPSAC (1) 2006: 143-149
2		Kuangnan Chang, Bobby Adkins: Virus Removal Cost (VRC) Metric. Software Engineering Research and Practice 2006: 469-473
	1999
1		Kuangnan Chang, David Chenho Kung, Pei Hsia: OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC 1999: 450-455

Coauthor Index

1	Bobby Adkins	[2]
2	Pei Hsia	[1]
3	David Chenho Kung (Chenho Kung)	[1] [3]

Colors in the list of coauthors