Kuangnan Chang

According to our database, Kuangnan Chang authored at least 3 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Virus Removal Cost (VRC) Metric.

Kuangnan Chang, Bobby Adkins

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Model Checking with Induction.

Kuangnan Chang, David Chenho Kung

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

1999

OBL: A Formal Deduction Method for Object-Oriented Systems.

Kuangnan Chang, David Chenho Kung, Pei Hsia

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999