ビットレベル表現をサポートする低水準言語におけるBDDを利用したプログラム検証に向けて
ビットレベル表現をサポートする低水準言語におけるBDDを利用したプログラム検証に向けて
复制标题
在支持位级表示的低级语言中使用 BDD 进行程序验证
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
八杉昌宏
中科院分区：
文献类型：
--
作者：
Osaki;Y;荒木啓二郎;八杉昌宏
