Max Planck Institute for Software Systems (MPI-SWS);
机译:验证命令式程序的特征公式
机译:通过特征公式进行程序验证
机译:在Maude中执行和验证高阶功能命令程序
机译:用于核实命令计划的特征公式
机译:非交换几何中特征类的显式公式。
机译:当归补血汤(黄芪和当归汤)的制剂和功效的验证:揭示中草药配方复杂性的示例性系统方法
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:面向对象语言中命令式并行编程范式的验证集成。