Philippa Gardner等人：POSIX文件系统的局部推理。(2014) conf/esop/GardnerNW14公司 10.1007/978-3-642-54833-8_10 POSIX文件系统的本地推理。 三 菲利普·加德纳 1 吉安·恩茨克 2 亚当莱特 三 169-188 员工持股计划 员工持股计划 2014 2014 dblp记录“conf/esop/GardnerNW14”的RDF数据的来源信息 2018年6月26日T14:12:44+0200