提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/atva/BozzanoCMT14澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚——克里斯蒂安·马塔雷澳大利亚-托内塔，斯特凡诺TI-通过基于合同的设计进行正式安全评估。BT-验证和分析自动化技术-第12届国际研讨会，2014年11月3日至7日，澳大利亚新南威尔士州悉尼，ATVA 2014，会议记录SP-81EP-972014年上半年//执行时间：10.1007/978-3-319-11936-_7UR-（欧元）https://doi.org/10.1007/978-3-319-11936-6_7UR-（欧元）https://www.wikidata.org/entity/Q6204114急诊室-