ヴィッツ と ClearSy社 は、日本国内における、形式手法Ｂメソッドの利用拡大に向け提携しました。