摘要：证明的便于理解的流程图：一个轻量级的形式化证明框架的引入和流程图表示系统的设计。
作者：Steven A. Kieffer
论文ID：1202.0567
分类：Digital Libraries
分类简称：cs.DL
提交时间：2012-02-06
PDF 下载： 英文版 中文版pdf翻译中