Chi-Jian Luo
发表
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Jinn-Shu Chang,
2009,
Formal Aspects of Computing.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Yu-Fang Chen,
2008,
TACAS.