The CORE system: Animation and functional correctness of pointer programs
The CORE system: Animation and functional correctness of pointer programs
复制标题
CORE系统：指针程序的动画和功能正确性
DOI：
10.1109/ase.2011.6100132
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Maclean E
中科院分区：
文献类型：
--
作者：
Maclean E
登录
查看更多内容
使用显式计划来指导归纳证明
DOI：
--
发表时间：
1988
期刊：
CADE
影响因子：
--
作者：
A. Bundy
通讯作者：
A. Bundy
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
链接数据结构中的突变
DOI：
10.1007/978-3-642-24559-6_20
发表时间：
2011
期刊：
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
E. Maclean;Andrew Ireland
通讯作者：
Andrew Ireland
DOI：
10.1007/bfb0013060
发表时间：
1992-07
期刊：
--
影响因子：
--
作者：
Andrew Ireland
通讯作者：
Andrew Ireland
具有分离逻辑的摊销资源分析
影响因子：
0.6
作者：
Atkey R
通讯作者：
Atkey R