BibTeX记录conf/cade/SantosGMN17
@进行中{DBLP:conf/cade/SantosGMN17， author={Jos{\'{e}}Fragoso Santos和 菲利普·加德纳和 彼得·马克西莫维奇和 Daiva Naudziuniene}， editor={Leonardo de Moura}， title={面向JavaScript程序的基于逻辑的验证}， booktitle＝｛自动扣款-｛CADE｝26-关于 自动扣除，瑞典哥德堡，2017年8月6日至11日，诉讼}， series={计算机科学讲稿}， 体积={10395}， 页数={8--25}， publisher={Springer}， 年份={2017年}， url={ https://doi.org/10.1007/978-3-319-63046-5 \_2} ， doi={10.1007/978-3-319-63046-5\_2}， timestamp={2022年9月29日星期四08:36:56+0200}， biburl={ https://dblp.org/rec/conf/cade/SantosGMN17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
