2010-03-29 ●経産省の「フォーマルメソッド導入ガイダンス」,三菱総研が策定状況について報告 SemiconNews http://techon.nikkeibp.co.jp/article/NEWS/20100326/181382/?ref=ML