提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/aplas/RaadSG16澳大利亚-杜鹃花拉德非盟-桑托斯，何塞·弗拉戈索澳大利亚-菲利普·加德纳TI-DOM：规范和客户推理。BT-编程语言和系统-第14届亚洲研讨会，2016年APLAS，越南河内，2016年11月21日至23日，会议记录SP-401型步骤-4222016年上半年//DO-2007年10月10日/978-3-319-47958-3_21UR-（欧元）https://doi.org/10.1007/978-3-319-47958-3_21急诊室-