Gian Ntzik和Philippa Gardner：关于POSIX文件系统的推理：本地更新和全局路径名。(2015) conf/oopsla/NtzikG15 10.1145/2814270.2814306 10.1145/2858965.2814306 关于POSIX文件系统的推理：本地更新和全局路径名。 2 吉安·恩茨克 1 菲利普·加德纳 2 201-220 OOPSLA公司 OOPSLA公司 2015 2015 dblp记录“conf/oopsla/NtzikG15”的RDF数据的来源信息 2021-06-23T16:58:51+0200