编辑配置文件(在新选项卡中打开) 塞缪尔·格吕特 合著者距离 作者ID: 格鲁特·萨缪尔 发布日期: 塞缪尔·格鲁特;塞缪尔·格吕特 已编制索引的文档: 2出版物自2016年起 合著者: 8位合著者具有2联合出版物 94位合作作者 全部的 前5名合著者 0 单作者的 1 纳达·阿明 1 安德鲁·W·阿佩尔。 1 伦纳特·贝林格 1 曹勤祥 1 约西亚·多兹 1 马丁·奥德斯基 1 蒂亚克·隆普夫 1 桑德罗·斯塔基 系列 1 自动推理杂志 字段 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用9中的次9文件 引用人▼ 年份▼ VST Floyd:一个用于验证C程序正确性的分离逻辑工具。 Zbl 1451.68169号 曹勤祥;伦纳特·贝林格;塞缪尔·格鲁特;约西亚·多兹;安德鲁·W·阿佩尔。 7 2018 依赖对象类型的本质。 Zbl 1343.68046号 纳达·阿明;塞缪尔·格吕特;马丁·奥德斯基;蒂亚克·隆普夫;桑德罗·斯塔基 2 2016 VST Floyd:一个用于验证C程序正确性的分离逻辑工具。 Zbl 1451.68169号 曹勤祥;伦纳特·贝林格;塞缪尔·格鲁特;约西亚·多兹;安德鲁·W·阿佩尔。 7 2018 依赖对象类型的本质。 Zbl 1343.68046号 纳达·阿明;塞缪尔·格吕特;马丁·奥德斯基;蒂亚克·隆普夫;桑德罗·斯塔基 2 2016 所有引用出版物 前5名被引用出版物 全部的 前5名被27位作者引用 4 安德鲁·W·阿佩尔。 1 胭脂红阿巴特 1 伦纳特·贝林格 1 大卫·宾德尔。 1 罗伯托·布兰科 1 维维亚娜·博诺 1 曹勤祥 1 瑟·特凡·乔巴赫 1 弗朗西斯科·达尼诺 1 马里亚纽拉州Dezani-Ciancaglini 1 阿德里安·杜里尔 1 范安东 1 迪帕克·加格 1 Hriţcu,科特林 1 Jeannin、Jean-Baptiste 1 阿里尔·凯利森(Ariel E.Kellison)。 1 彼得·兰米奇 1 泽维尔·勒罗伊 1 布鲁诺·C·d·S·奥利维拉。 1 马可·帕特里格纳尼 1 埃里克·坦特 1 陶一成 1 莫希特·特克里瓦尔 1 杰雷米·蒂鲍特 1 王钦石 1 周耀达 1 埃琳娜·祖卡 2篇连载文章中引用 2 自动推理杂志 1 系统设计中的形式化方法 在2个字段中引用 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文