http://search.e-gov.go.jp/servlet/Public?CLASSNAME=Pcm1010&BID=595206001&OBJCD 経済産業省のこの案の中に形式手法について触れられていました。 「重要インフラシステム」について「推奨」となっています。 （２）形式手法・ツール等の活用 情報システ…