JoséFragoso Santos等人：面向JavaScript程序的基于逻辑的验证。(2017) conf/cade/SantosGMN17 10.1007/978-3-319-63046-5_2 JavaScript程序的基于逻辑的验证。 4 何塞·弗拉戈索·桑托斯 1 菲利普·加德纳 2 彼得·马克西莫维奇 三 Daiva Naudziuniene公司 4 8-25 CADE公司 CADE公司 2017 2017 dblp记录“conf/cade/SantosGMN17”的RDF数据的来源信息 2020-10-25T23:07:07+0100