STEX公司+
zbMATH中的参考文献(参考文献 4条 )
Lange,Christoph:通过语义web集成实现半形式数学知识的协作(2011) 朱科夫斯基,康斯坦丁; Kohlhase,Michael:STEXIDE:STEX集合的集成开发环境(2010) 科哈塞,安德里亚; 科哈塞,迈克尔; 0002,Christoph Lange:Stex+——链接数据的灵活形式化系统(2010) ioport公司 科哈塞,安德里亚; 科哈塞,迈克尔; Lange,Christoph:形式维度:软件工程中MKM的案例研究(2010)