何塞·弗拉戈索·桑托斯 菲利普·加德纳 彼得·马克西莫维奇 Daiva Naudziuniene公司 JavaScript程序的基于逻辑的验证。 8-25 2017 CADE公司 https://doi.org/10.1007/978-3-319-63046-5_2 conf/cade/2017 db/conf/cade/cade2017.html#SantosGMN17