KAMEYAMA Yukiyoshi

Researcher's full information

Conference, etc.

• 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