×

兹马思-数学第一资源

反例引导的符号模型检查的抽象精化。(英语) Zbl公司 1325.68145

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
03B44号 时态逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部