BibTeX记录conf/lics/JungW21
@正在进行{DBLP:conf/lics/JungW21， author={Jean Christoph Jung和 弗兰克·沃尔特}， title={没有贝丝和克雷格的生活： 防护和双可变碎片}， booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会，{LICS} 2021年6月29日至2021年7月2日，意大利罗马}， 页数={1--14}， publisher={{IEEE}}， 年份={2021}， 网址={ https://doi.org/10.109/LICS52264.2021.9470585 }, doi={10.1109/LICS52264.2021.9470585}， timestamp={2023年12月17日，星期日20:56:25+0100}， biburl={ https://dblp.org/rec/conf/lics/JungW21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
