北海道ソフトウェア技術開発機構(DEOS) 主催セミナーにて、 「Ｂメソッドで学ぶ形式手法実践開発」を発表します。