ICSCA2021

ICSCA2021@オンラインで,須貝健太が研究発表を行います:

  • SMT-Based Theorem Verification for Testing-Based Formal Verification (須貝健太, 細部博史, 劉少英)