@techreport{weko_21197_1, author = "水野,良太 and 桑原,寛明 and 山本,晋一郎 and 阿草,清滋", title = "Javaプログラム理解支援のための不変性解析", year = "2006", institution = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 愛知県立大学情報科学部, 名古屋大学大学院情報科学研究科", number = "48(2006-SE-152)", month = "may" }