BibTeX记录conf/fosacs/RazaG08
@进行中{DBLP:conf/fossacs/RazaG08， author={Mohammad Raza和 菲利普·加德纳}， 编辑={Roberto M.Amadio}， title={局部推理中的足迹}， booktitle={软件科学和计算结构基础，第11期 2008年国际会议{FOSSACS}，作为联合会议的一部分举行 欧洲软件理论与实践会议，{ETAPS}2008， 2008年3月29日至4月6日，匈牙利布达佩斯。 诉讼}， series={计算机科学讲稿}， 体积＝{4962}， 页数={201--215}， publisher={Springer}， 年份={2008}， url={ https://doi.org/10.1007/978-3-540-78499-9 \_15}, doi={10.1007/978-3-540-78499-9\_15}， timestamp={2019年5月14日星期二10:00:55+0200}， 比布尔={ https://dblp.org/rec/conf/fossacs/RazaG08.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
