Shimin Cui

发表

José Nelson Amaral, Peng Zhao, Yaoqing Gao, 2007, ACM Trans. Program. Lang. Syst..

Stephen Curial, José Nelson Amaral, Peng Zhao, 2008, ISMM '08.