第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク