BibTeX记录日志/tocl/BartheJK22
@文章{DBLP:journals/tocl/BartheJK22， author={Gilles Barthe和 Charlie Jacomme和 史蒂夫·克莱默}， title={概率程序的普遍等价性和多数 有限域}， 日志={{ACM}事务。 计算。 日志}， 体积={23}， 数字={1}， 页数={5:1--5:42}， 年份={2022}， url={ https://doi.org/10.1145/3487063 }, doi={10.1145/3487063}， timestamp={2022年1月20日星期四10:10:00+0100}， biburl={ https://dblp.org/rec/journals/tocl/BartheJK22.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
