@article{oai:nistep.repo.nii.ac.jp:00005195,
 author = {亘理, 誠夫},
 journal = {科学技術動向2003年3月号, Science & Technology Trends},
 month = {},
 title = {高信頼ソフトウェア技術の研究動向 - ソフトウェア基礎技術の確立に向けて -},
 year = {2003},
 yomi = {ワタリ, マサオ}
}