Fakultat fur Informatik, Technische Universitat Miinchen;
Fakultat fur Informatik, Technische Universitat Miinchen;
Fakultat fur Informatik, Technische Universitat Miinchen;
机译:带有期货的异步组件:Isabelle / HOL中的语义和证明
机译:Isabelle / Scala和Isabelle / jEdit的异步证明处理
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
机译:Isabelle / Hol中的自动证明和防脱机
机译:东方妇女的三岁代表在董事会Gautier,Gustave Fraubert和Isabelle Eberhardt的作品中
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:Isabelle / HOL中的自动打样和打样