清水 博章 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
浜口 清治
大阪大学大学院情報科学研究科
-
柏原 敏伸
大阪大学大学院情報科学研究科
-
清水 博章
大阪大学大学院情報科学研究科
-
浜口 清治
大阪大学 大学院情報科学研究科
-
柏原 敏伸
大阪大学大学院
-
浜口 清治
大阪大学大学院基礎工学研究科
著作論文
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)