2024年4月19日上午11:37:31 https://oai.zbmath.org/v1/

oai:zbmath.org:7105338 2019-09-16T11:08:50Z 68 90

Pierre Roux；穆罕默德·伊格伦拉拉；Sylvain Conchon公司 2018 7105338 英语 https://zbmath.org/07105338 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。10806, 132-151 (2018). 68T20；68Q60；68W30；90C25型 一种用于控制指令软件验证的非线性算法 一