ECOOP Workshop on Formal Techniques for Java-like Programs

FTfJP'2002

Málaga, Spain, June 10, 2002

These proceedings have appeared as technical report, number NIII-R0204, at the Computing Science Department, University of Nijmegen, 2002.

Revised and expanded versions of selected papers of FTfJP'2002 have appeared in a special issue of Journal of Concurrency and Computation: Practice and Experience (CCPE).

Short Position Papers

Programme Committee