BibTeX记录conf/ppdp/BozzanoD02
@正在进行{DBLP:conf/ppdp/BozzanoD02， author={Marco Bozzano和 乔治·德尔扎诺（Giorgio Delzanno）， title={线性逻辑中的自动协议验证}， booktitle={第四届国际{ACM}{SIGPLAN}会议记录 声明式编程的原理和实践，2002年10月6日至8日， 宾夕法尼亚州匹兹堡{美国}（隶属于{PLI}2002）}， 页数={38--49}， publisher={{ACM}}， 年份={2002}， url={ https://doi.org/10.1145/571157.571162 }， doi={10.1145/571157.571162}， timestamp={2021年10月14日星期四10:42:42+0200}， biburl={ https://dblp.org/rec/conf/ppdp/BozzanoD02.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
