@inproceedings{oai:nagoya.repo.nii.ac.jp:00008635,
 author = {坂部, 俊樹 and 酒井, 正彦 and 草刈, 圭一朗 and 西田, 直樹},
 book = {Second Symposium on "Intelligent Media Integration for Social Information Infrastructure" January 8-9, 2004},
 month = {Jan},
 pages = {165--167},
 publisher = {INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE},
 title = {Program Generation Techniques for Developing Reliable Software},
 year = {2004}
}