BibTeX记录conf/atva/BozzanoCMT14
@正在进行{DBLP:conf/atva/BozzanoCMT14， author={Marco Bozzano和 亚历山德罗·西马蒂和 克里斯蒂安·马塔雷和 斯特凡诺·托内塔}， editor={Franck Cassez和 牛仔 {-}弗兰 {\c{c}}ois Raskin}， title={通过基于合同的设计进行正式安全评估}， booktitle={验证和分析自动化技术-第12届国际 2014年11月3-7日，澳大利亚新南威尔士州悉尼，{ATVA}研讨会， 诉讼}， series={计算机科学讲稿}， 体积={8837}， 页数={81--97}， publisher={Springer}， 年份={2014}， url={ https://doi.org/10.1007/978-3-319-1193-6 \_7}, doi={10.1007/978-3-319-11936-6\_7}， timestamp={2019年6月2日，周日21:12:27+0200}， biburl={ https://dblp.org/rec/conf/atva/BozzanoCMT14.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
