@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00149067,
 author = {藤澤, 一博 and 小飼, 敬 and 滝沢, 陽三 and Fujisawa, Kazuhiro and Kogai, Kei and Takizawa, Yozo},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {379--380},
 publisher = {情報処理学会},
 title = {B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)},
 volume = {8},
 year = {2009}
}