Formal techniques for Java-like programs (FTfJP'2002) : proceedings of the ECOOP workshop / E. Poll (ed.)
Proceedings of the fourth ECOOP workshop on Formal techniques for Java-like programs (FTfJP), Málaga, Spain, June 10, 2002, held as part of the 16th European Conference on Object-Oriented Programming (ECOOP)