提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ppdp/Gardner18澳大利亚-菲利普·加德纳TI-JaVerT：JavaScript验证和测试框架：邀请谈话。BT-第20届声明性编程原则与实践国际研讨会论文集，2018年PPDP，德国法兰克福，2018年9月3日至5日SP-1:1EP-1:42018年上半年//做-10.1145/3236950.3236974UR-（欧元）https://doi.org/10.1145/3236950.3236974急诊室-