2021年2月
SMT-Based Theorem Verification for Testing-Based Formal Verification
Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021)
- ,
- ,
- 開始ページ
- 251
- 終了ページ
- 257
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 出版者・発行元
- ACM Press