岡野 浩三

(おかの こうぞう)


1993年 大阪大学大学院博士後期課程中退.
1995年 博士(工学).
現在,大阪大学情報科学研究科・准教授.
形式手法によるソフトウェア開発・検証方法などの研究に従事.

執筆箇所:

  ・7群1編 ソフトウェア基礎