IMP公司++ swMATH ID: 1439 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 描述： HOL中面向对象数据模型的可扩展编码。使用IMP应用程序++ 主页： http://www.brucker.ch/cobjectory/abstract/brucker.ea-extensible-2008.de.html 关键词： 面向对象的数据模型；HOL公司；定理证明；验证 相关软件： ETPS公司；伊莎贝尔/HOL；布吉；伊萨尔；规格#；HOL布吉；凯伊；HOL-OCL公司；GATeL公司；HOL测试发电机；JPF-SE公司；SpecExplorer（SpecExplorer）；Flyspeck飞点；Java PathFinder；快速检查；派克斯；科拉特；TorX公司；哈斯克尔；CVC精简版 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 HOL中面向对象数据模型的可扩展编码。使用IMP++应用程序。 Zbl 1191.68619号阿希姆·D·布鲁克。；沃尔夫，伯克哈特 2008 5位作者引用 4 沃尔夫，伯克哈特 三 阿希姆·D·布鲁克。 1 Böhme，萨沙 1 米查·莫斯卡尔 1 沃尔夫拉姆·舒尔特 3篇连载文章中引用 2 自动推理杂志 1 信息学报 1 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文