Prospec: Support for Elicitation and Formal Specification of Software Properties
Prospec: Support for Elicitation and Formal Specification of Software Properties
复制标题
Prospec：支持软件属性的获取和正式规范
DOI：
10.1016/s1571-0661(04)81043-0
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
S. Roach
中科院分区：
文献类型：
--
作者：
O. Mondragon;A. Gates;S. Roach
