Mohammad Raza等人：使用分离逻辑的自动并行。(2009) conf/esop/RazaCG09 10.1007/978-3-642-00590-9_25 带分离逻辑的自动并行。 三 穆罕默德·拉扎 1 克里斯蒂亚诺·卡尔加诺 2 菲利普·加德纳 三 348-362 员工持股计划 员工持股计划 2009 2009 dblp记录“conf/esop/RazaCG09”的RDF数据的来源信息 2018年6月26日T14:12:45+0200