@misc{weko_2202_1,
   author	 = "飯干,寛幸",
   title	 = "不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証",
   month	 = "mar",
   year 	 = "2022"
}