『形式手法通論カリキュラム：立案と実施の経験』
中島 震
. 形式手法通論カリキュラム：立案と実施の経験. 2017-06-30.
http://id.nii.ac.jp/1001/00182175/
形式手法通論カリキュラム：立案と実施の経験
情報処理学会研究報告 IPSJ SIG Technical Reportⓒ 2017 Information Processing Society of JapanVol.2017-EMB-45 No.1
詳細化(リファインメント)
段階的な詳細化(Step-wise Refinement)
Correctness by Construction(CxC)