@techreport{weko_31027_1,
   author	 = "佐藤,賢二 and 元村,直行 and 荒木,啓二郎",
   title	 = "Occamプログラム検証への時相論理の応用",
   year 	 = "1988",
   institution	 = "九州大学工学部情報工学科, （株）安川電機製作所, （株）安川電機製作所",
   number	 = "94(1988-PRO-027)",
   month	 = "dec"
}