Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"劉, 少英 and Shaoying, Liu",Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction,ソフトウェアエンジニアリングシンポジウム2021論文集,,情報処理学会,2021-08-30,2021,,13-13,https://cir.nii.ac.jp/crid/1050855522064262400,