@article{weko_198199_1,
   author	 = "Kosuke,Matsumoto and Tomoharu,Ugawa",
   title	 = "Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2019",
   volume	 = "12",
   number	 = "3",
   month	 = "jul"
}