@phdthesis{oai:nagoya.repo.nii.ac.jp:00004903, author = {河口, 信夫 and Kawaguchi, Nobuo}, month = {Feb}, note = {名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成9年2月7日}, school = {名古屋大学, Nagoya University}, title = {書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究}, year = {1997} }