@article{oai:nistep.repo.nii.ac.jp:00006265,
 author = {亘理, 誠夫},
 journal = {Science & Technology Trends Quarterly Review2003 July, Science & Technology Trends},
 month = {},
 title = {Research Trends in Technology for High-Reliability Software - Toward the Establishment of Basic Software Technology -},
 year = {2003},
 yomi = {ワタリ, マサオ}
}