编辑配置文件(在新选项卡中打开) 托马斯·莱坦 合著者距离 作者ID: 勒坦·托马斯 发布日期: 托马斯·莱坦 已编制索引的文档: 2出版物自2018年起 合著者: 3位合著者具有2联合出版物 29位合作作者 合著者 0 单作者的 2 皮埃尔·奇夫利埃 2 纪尧姆·希特 2 雷吉斯·贾纳斯,亚恩 系列 1 计算的形式方面 字段 2 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物具有被引用2中的次1文件 引用人▼ 年份▼ 使用效果和效果处理程序对程序进行模块化验证。 Zbl 1458.68119号 托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2021 Coq中带有效果和效果处理程序的程序的模块化验证。 Zbl 1460.68062号 托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2018 使用效果和效果处理程序对程序进行模块化验证。 Zbl 1458.68119号 托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2021 Coq中带有效果和效果处理程序的程序的模块化验证。 Zbl 1460.68062号 托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2018 2位作者引用 1 保罗·埃米利奥·德维莱纳 1 弗朗索瓦·波蒂埃 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 1 数学逻辑和基础(03-XX) 1 计算机科学(68-XX) 按年份列出的引文