@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00112696,
 author = {比嘉, 健太 and 河野, 真治 and Yasutaka, Higa and Shinji, Kono},
 book = {ウィンターワークショップ2015・イン・宜野湾 論文集},
 month = {Jan},
 pages = {49--50},
 publisher = {情報処理学会},
 title = {形式手法を学び始めて思うことと,形式手法を広めるには},
 volume = {2015},
 year = {2015}
}