Kang-Nien Wu
发表
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Jinn-Shu Chang,
2009,
Formal Aspects of Computing.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Yu-Fang Chen,
2007,
TACAS.