Data Refinement of Predicate Transformers
Data Refinement of Predicate Transformers
复制标题
谓词转换器的数据细化
DOI：
--
复制
发表时间：
1991
影响因子：
1.1
通讯作者：
Carroll Morgan
中科院分区：
文献类型：
--
作者：
Paul H. B. Gardiner;Carroll Morgan
