ICSCA2021

に が投稿

ICSCA2021＠オンラインで，須貝健太が研究発表を行います：

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