Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"関, 浩之",アクティブソフトウェアの設計検証手法に関する研究,,[奈良先端科学技術大学院大学],2006,科学研究費補助金(基盤研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000796107969408