摘要：提供给代码消费者的减法证书概念及其应用
作者：Elvira Albert, Puri Arenas, Germ''an Puebla, Manuel Hermenegildo
论文ID：1010.4533
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-10-22
PDF 下载： 英文版 中文版pdf翻译中