違反状態抽象化による保証可能な安全性特定のための分析空間削減

相澤 和也  鄭 顕志  本位田 真一  

誌名:   電子情報通信学会論文誌 D
早期公開日: 2019/12/24
DOI: 10.14923/transinfj.2019PDP0018
本文: PDF(719.5KB)