@techreport{weko_26969_1,
   author	 = "竹内翔 and 浜口,清治 and 柏原,敏伸",
   title	 = "動的局所変数を含むアサーションに対する限定モデルチェッキング",
   year 	 = "2006",
   institution	 = "阪大学大学院情報科学研究科,  阪大学大学院情報科学研究科,  阪大学大学院情報科学研究科",
   number	 = "126(2006-SLDM-127)",
   month	 = "nov"
}