@techreport{weko_203485_1,
   author	 = "永田,拓也 and 山本,椋太 and 吉田,則裕 and 高田,広章",
   title	 = "修正候補検出を目的とした時相論理に基づく要求仕様書の分析",
   year 	 = "2020",
   institution	 = "名古屋大学, 名古屋大学, 名古屋大学, 名古屋大学",
   number	 = "14",
   month	 = "feb"
}