原 光太朗 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

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

関連著者

• 緒方 和博

  北陸先端科学技術大学院大学情報科学研究科

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 原 光太朗

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

• 緒方 和博

  NECソフトウェア北陸

• 緒方 和博

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

• 中村 正樹

  金沢大学 理工学域 電子情報学類

著作論文

• STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
• B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)

スポンサーリンク