文献
J-GLOBAL ID:201602209148389865
整理番号:16A0007106
高速なMCS列挙を利用した準最弱事前条件推定の改良
An Improvement of Quasi-weakest Precondition Inference using Fast MCS Enumeration
著者 (3件):
今井健男
(株式会社東芝研究開発センター / 東京大学情報理工学系研究科)
,
酒井政裕
(株式会社東芝研究開発センター)
,
萩谷昌己
(東京大学情報理工学系研究科)
資料名:
コンピュータソフトウェア
(Computer Software)
巻:
32
号:
4
ページ:
4.161-4.175 (J-STAGE)
発行年:
2015年
JST資料番号:
Y0628A
ISSN:
0289-6540
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)