提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2105-14311AU-Wang、QiuyeAU-Chen、Mingshuai阿雪、白AU-Zhan、NaijunAU-Katoen，Joost-PieterTI-通过凸差分编程合成不变屏障证书。JO-CoRR公司VL-绝对值/2105.143112021年上半年//UR-（欧元）https://arxiv.org/abs/2105.14311急诊室-