位置：成果数据库 > 期刊 > 期刊详情页
Formalizing provable anonymity in Isabelle/HOL.
  • ISSN号：0934-5043
  • 期刊名称：Formal Aspects of Computing
  • 时间：2014.7.10
  • 页码：-
  • 相关项目：基于一阶符号轨迹计算理论的模型检测
作者： Yongjian Li|Jun Pang:|
同期刊论文项目
基于一阶符号轨迹计算理论的模型检测
期刊论文 5 会议论文 11
同项目期刊论文
An inductive approach to strand space theory
改进的布尔公式学习算法
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation
An inductive approach to strand spaces