Productive use of failure in top-down formal methods
Productive use of failure in top-down formal methods
复制标题
在自上而下的形式方法中有效地利用失败
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Bundy A
中科院分区：
文献类型：
--
作者：
Bundy A
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
Event-b 涟漪中的一个小实验
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
G. Grov;A. Bundy;L. Dixon
通讯作者：
L. Dixon
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot