緒方 和博 | NECソフトウェア北陸

スポンサーリンク

概要

• 同名の論文著者
• NECソフトウェア北陸の論文著者

関連著者

• 緒方 和博

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

• 二木 厚吉

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

• 緒方 和博

  NECソフトウェア北陸

• 緒方 和博

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

• 中村 正樹

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

• 中村 正樹

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

• 原 光太朗

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

• 中村 正樹

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

• 清野 貴博

  北陸先端大

• 二木 厚吉

  北陸先端大

• Senachak Jittisak

  北陸先端大

もっと見る 閉じる

著作論文

• STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
• B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
• B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs

スポンサーリンク