摘要：从规范到代码的开发支持发现过程的程序格式：Matrix Code的方法
作者：M.H. van Emden
论文ID：1203.2296
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-05-09
PDF 下载： 英文版 中文版pdf翻译中