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}, 页数={827--850}, publisher={Springer}, 年份={2021}, 网址={ 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 } }