BibTeX记录conf/cav/MaksimovicASG20
@进行中{DBLP:conf/cav/MaksimovicASG20， author={Petar Maksimovic和 萨查{-}{\'{E}}是阿永和 乔斯·弗拉戈索·桑托斯和 菲利普·加德纳}， editor={Alexandra Silva和 K.Rustan M.Leino}， title={Gillian，第{II:}部分JavaScript和{C}}的现实世界验证， booktitle={计算机辅助验证-第33届国际会议，{CAV} 2021年，虚拟事件，2021年7月20日至23日，会议记录，第{II}}部分， series={计算机科学讲稿}， 体积={12760}， pages＝{827-850}， publisher={Springer}， 年份={2021}， url={ https://doi.org/10.1007/978-3-030-81688-9 \_38}, doi={10.1007/978-3-030-81688-9\38}， timestamp={2021年7月23日星期五16:41:31+0200}， biburl={ https://dblp.org/rec/conf/cav/MaksimovicASG20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
