Benjamin Bittner等人：xSAP安全分析平台。(2016) conf/tacas/BittnerBCCGGMMZ16 10.1007/978-3-662-49674-9_31 Q62041101号 xSAP安全分析平台。 9 本杰明·比特纳 1 马可·波扎诺 2 罗伯托·卡瓦达 三 亚历山德罗·西马蒂 4 马可·加里奥 5 阿尔贝托·格里乔 6 克里斯蒂安·马塔雷 7 安德烈亚·米凯利 8 詹尼·赞佩德里 9 533-539 TACAS公司 TACAS公司 2016 2016 dblp记录“conf/tacas/BittnerBCCGGMMZ16”的RDF数据的来源信息 2021-07-25T11:48:26+0200