2009

1. Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)