Chao Cao
发表
Si Liu,
Zhiping Zhang,
Hanwu Liu,
2013,
ICSE 2013.
Hai-Ping Cheng,
Chao Cao,
P. J. Hirschfeld,
2008,
0803.3236.