The connection between two ways of reasoning about partial functions
The connection between two ways of reasoning about partial functions
复制标题
偏函数的两种推理方式之间的联系
DOI：
10.1016/j.ipl.2008.02.005
复制
发表时间：
2008
影响因子：
0.5
通讯作者：
Fitzgerald J
中科院分区：
文献类型：
--
作者：
Fitzgerald J
登录
查看更多内容
经典重构的部分函数的类型化逻辑
影响因子：
0.6
作者：
Cliff B. Jones;K. Middelburg
通讯作者：
K. Middelburg
VDM 中的证明：从业者指南
DOI：
10.1007/978-1-4471-2033-9
发表时间：
1993
期刊：
Int. J. Softw. Informatics
影响因子：
--
作者：
J. Bicarregui;J. Fitzgerald;P. Lindsay;Richard C. Moore;B. Ritchie
通讯作者：
B. Ritchie
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
J. Fitzgerald
通讯作者：
J. Fitzgerald
DOI：
--
发表时间：
2005
期刊：
International Workshop Automated Verification Critical Systems
影响因子：
--
作者：
Cliff B. Jones
通讯作者：
Cliff B. Jones
论处理部分函数的逻辑的可用性
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Jh Cheng;Cliff B. Jones
通讯作者：
Cliff B. Jones