【作者】 陈矛；

【导师】 黄文奇；

【作者基本信息】 华中科技大学 ， 计算机软件与理论， 2007， 博士