摘要：提高形式化开发的可信度的经典"坑"和其他可能的关注点的回顾
作者：Eric Jaeger (LIP6, Dcssi/SDS/Lti), Th''er`ese Hardin (LIP6)
论文ID：0902.3861
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-02-24
PDF 下载： 英文版 中文版pdf翻译中