伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件: Isabelle/HOL;电源保护;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
UTP2型 5份文件引用(2010–2019) 软件作者: 安德鲁·布特菲尔德 相关软件: 硫苷;Isabelle/HOL;Isabelle/UTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)