矢竹 健朗 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 矢竹 健朗の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 矢竹 健朗

  北陸先端科学技術大学院大学

• 青木 利晃

  北陸先端科学技術大学院大学

• 片山 卓也

  北陸先端科学技術大学院大学

• 片山 卓也

  中部大学大学院

• 片山 卓也

  神奈川工科大学情報学部情報工学科

著作論文

• コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
• 定理証明システムHOLにおけるオブジェクト指向理論の構築
• データ管理領域におけるプログラム検証の自動化に関する考察

スポンサーリンク