@techreport{weko_224554_1,
   author	 = "石関,祐輝 and 大久保,弘崇 and 粕谷,英人 and 山本,晋一郎",
   title	 = "関数仕様を用いたプロパティ合成手法に関する研究",
   year 	 = "2023",
   institution	 = "愛知県立大学大学院情報科学研究科, 愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部",
   number	 = "14",
   month	 = "mar"
}