亀山 幸義(カメヤマ ユキヨシ)

研究者情報全体を表示

会議発表等

• 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