ソフトウェアの安全性・信頼性の確保のための形式手法普及セミナー ～発注者とベンダーの問題意識の共有に向けて～ http://www.mri.co.jp/NEWS/seminar/mri/2011/2025510_1518.html
このページの先頭へ戻る