@techreport{weko_211806_1,
   author	 = "井,浩也 and 大戸,柾之介 and 桐生,仁司 and 小形,真平 and 岡野,浩三",
   title	 = "遷移モデル自動導出を考慮した要求仕様書と導出方法の提案",
   year 	 = "2021",
   institution	 = "信州大学工学部, 信州大学工学部, 信州大学工学部, 信州大学工学部, 信州大学工学部",
   number	 = "6",
   month	 = "jul"
}