BibTeX记录期刊/toplas/DOsualdoSFG21
@文章{DBLP:journals/toplas/DOsualdoSFG21， author={Emanuele D'Osualdo和 朱利安·萨瑟兰和 阿扎德·法尔赞和 菲利普·加德纳}， title={TaDA Live：细粒度终止的合成推理 并发程序}， 日志={{ACM}事务。 程序。 语言系统}， 体积={43}， 数字={4}， 页数={16:1--16:134}， 年份={2021}， url={ https://doi.org/10.1145/3477082 }, doi={10.1145/3477082}， timestamp={2021年12月15日星期三10:29:22+0100}， biburl={ https://dblp.org/rec/journals/toplas/DOsualdoSFG21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
