@techreport{weko_217183_1,
   author	 = "小池,良吾 and 藤田,昌宏",
   title	 = "Inductive Invariantでの効率的フリップフロップ選択による形式的検証とその応用",
   year 	 = "2022",
   institution	 = "東京大学大学院工学系研究科, 東京大学大学院工学系研究科",
   number	 = "29",
   month	 = "mar"
}