@article{oai:ipsj.ixsq.nii.ac.jp:00112590,
 author = {大蒔, 和仁 and OHMAKI, Kazuhiro},
 issue = {02},
 journal = {情報処理},
 month = {Jan},
 pages = {194--194},
 title = {IT好き放題：やはりシステム検証が好き},
 volume = {56},
 year = {2015}
}