@inproceedings{ChYiJo2000,
   author = {Byeong-Mo Chang and Kwangkeun Yi and Jangwoo Jo},
   title = {Constraint-based Analysis for Java},
   booktitle = {SSGRR Conference on Computers and E-Business},
   address = {L'Aquila, Italy},
   month = {August},
   year = {2000},
   category = {other-program-analyses conference},
   format = {ps.gz},
}