@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00004800,
 author = {若原, 恭},
 month = {Feb},
 title = {通信ソフトウェア仕様検証技術の効率向上に関する研究},
 year = {1999}
}