@techreport{weko_178380_1,
   author	 = "水谷,仁 and 中野,冠",
   title	 = "ソフトウエアの新たな捉え方としての新・形式手法",
   year 	 = "2017",
   institution	 = "慶應義塾大学大学院システムデザイン・マネジメント研究科, 慶應義塾大学大学院システムデザイン・マネジメント研究科",
   number	 = "4",
   month	 = "mar"
}