×

兹马思-数学第一资源

一种面向类型的高阶模型检查抽象求精方法。(英语) 兹布1284.68414
第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2544-8)。61-72(2014年)。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68周05分 非数值算法
68Q42号 语法与重写系统
68Q45号 形式语言与自动机
03B70型 计算机科学中的逻辑
软件:
C-肖尔
PDF格式 双歧杆菌 XML 引用
全文: 内政部