提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2209-09703AU-Wang、QiuyeAU-Chen、Mingshuai阿雪、白AU-Zhan、NaijunAU-Katoen，Joost-PieterTI-将归纳不变量编码为屏障证书：通过差分凸编程进行合成。JO-CoRR公司VL-abs/2209.097032022年//DO-10.48550/ARXIV.2209.09703UR-（欧元）https://doi.org/10.48550/arXiv.2209.09703呃-