亀山 幸義(カメヤマ ユキヨシ)
- 会議発表等
- A Direct Algorithm for Multi-valued Bounded Model Checking
Andrade Jefferson O.; Kameyama Yukiyoshi
6th International Symposium on Automated Technology for Verification and Analysis/2008-10-20--2008-10-23
- A Direct Algorithm for Multi-valued Bounded Model Checking