提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/MaksimovicASG20AU-马克西莫维奇，彼塔非盟-阿永，萨沙埃利非盟-桑托斯，何塞·弗拉戈索AU-菲律宾加德纳TI-Gillian，第二部分：JavaScript和C的真实世界验证。BT-计算机辅助验证-第33届国际会议，CAV 2021，虚拟事件，2021年7月20日至23日，会议记录，第二部分SP-827EP-8502021年上半年//DO-2007年10月10日/978-3-030-81688-9_38UR-（欧元）https://doi.org/10.1007/978-3-030-81688-9_38急诊室-