13/01/06 01:16:08.51 .net
ついでだからIPAの報告書
（個人的には形式手法を良とするバイアスがかかっているように思うが）
「形式手法適用調査」報告書
URLﾘﾝｸ(sec.ipa.go.jp)
「情報系の実稼働システムを対象とした形式手法適用実験報告書」
URLﾘﾝｸ(sec.ipa.go.jp)
形式手法導入課題を解決する「形式手法活用ガイドならびに参考資料」
URLﾘﾝｸ(sec.ipa.go.jp)
実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」
URLﾘﾝｸ(sec.ipa.go.jp)