@techreport{weko_22273_1, author = "松尾谷徹", title = "検証指向のプログラム設計技法 VOP(Verification Oriented Programming)", year = "1991", institution = "日本電気(株)情報処理・システム開発本部", number = "13(1990-SE-077)", month = "feb" }