@techreport{weko_27576_1,
   author	 = "岩下,洋哲 and 古渡,聡 and 長井,寛志",
   title	 = "論理検証のためのモジュール間インタフェース仕様記述とその利用法",
   year 	 = "2001",
   institution	 = "富士通研究所, 富士通, 富士通",
   number	 = "42(2001-SLDM-101)",
   month	 = "may"
}