This report gives an overview of the second ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions.
['Sophia Drossopoulou', 'Susan Eisenbach', 'Bart Jacobs', 'Gary T. Leavens', 'Peter Müller', 'Arnd Poetzsch-Heffter']
Formal Techniques for Java Programs