A Case Study in Modular Specification

【文件属性】：

文件名称：A Case Study in Modular Specification

文件大小：407KB

文件格式：PDF

更新时间：2017-07-29 07:38:40

Spec

a good paper "A Case Study in Modular Specification of a Concurrent Reentrant Higher-order Library" accepted in ecoop2013