論文

査読有り
2020年

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

International Symposium on Theoretical Aspects of Software Engineering (TASE)
  • Daisuke Ishii
  • ,
  • Saito Fujii

担当区分
筆頭著者, 責任著者
記述言語
掲載種別
研究論文(国際会議プロシーディングス)
出版者・発行元
(to appear)