Special issue: formal techniques for Java programs

[1]  Sophia Drossopoulou,et al.  Formal Techniques for Java Programs , 2000, ECOOP Workshops.