玛雅

此软件的关键字
zbMATH中的参考文献(参考
26篇文章, 1标准件 )
Autexier,Serge;Hutter,Dieter:大型理论中的结构形成(2015) Stefaneas,Petros;Ouranos,Iakovos;Triantafyllou,Nikolaos;Ksystra,Katerina:OTS/CafeOBJ方法的一些工程应用(2014) ioport公司 拉贝,弗洛里安;科哈塞,迈克尔:一个可扩展的模块系统(2013) Iancu,Mihnea;Rabe,Florian:声明性语言变化的管理(2012) 邦迪,艾伦:自动定理证明:一个实用的工具,为工作的数学家? (2011年) Autexier,Serge;Hutter,Dieter;Mossakowski,Till:异构开发图的变更管理(2010) Bortin,Maksym;Lüth,Christoph:Isabelle/HOL中商类型的结构化形式开发(2010) Dietrich,Dominik;Schulz,Ewaryst:Crystal:将结构化查询集成到战术语言中(2010) Dietrich,Dominik;Schulz,Ewaryst;Wagner,Marc:在文本编辑器中通过交互式证明结构和验证来创作验证文档(2008) Rowinska Schwarzweller,Agnieszka;Schwarzweller,Christoph:面向电气工程的数学知识管理(2007) Wagner,Marc;Autexier,Serge;Benzmüller,Christoph:\ textscPlat(\Omega):文本编辑器和校对辅助系统之间的调解人(2007) 巴拉林,克莱门斯:《伊莎贝尔的语言环境解读:理论与证明语境》(2006) 诺曼,伊曼纽尔:通过部分理论包含增强定理重用(2006) 西格曼,Jörg;Benzmüller,Christoph;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006) Wassyng,Alan;Lawford,Mark:用于安全关键型软件开发的软件工具(2006) ioport公司 Hutter,Dieter;Autexier,Serge:玛雅的正式软件开发(2005) Krieg Brückner,Bernd:走向安全系统中的多媒体教学(2005) Mantel,Heiko;Schairer,Axel:在正式开发中开发安全模型的通用方面(2005) Johnsen,Einar Broch;Lüth,Christoph:通过证明项转换重用定理(2004) Moreira,Anamaria Martins;Ringeissen,Christophe;Déharbe,David;Lima,Gleydson:用基于术语和基于图的表示来操作代数规范(2004)