Formal Techniques for Java Programs

In: Malenfant, J. and Moisan, S. and Moreira, A.ed., Lecture Notes in Computer Science, volume 1964, Available, 2000

Authors

• Sophia Drossopoulou
• Susan Eisenbach
• Bart Jacobs
• Gary T. Leavens
• Peter Müller

Abstract

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 summrizes the presentation and discussions.

Full Text

• PDF: ftfjp00.pdf
• PS.GZ: ftfjp00.ps.gz

BibTeX

@InProceedings{Drossopoulou.Eisenbach.EA00formal, 
   author = {Sophia Drossopoulou and Susan Eisenbach and Bart Jacobs and Gary T. Leavens and Peter Müller}
   title = {Formal Techniques for Java Programs},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer-Verlag},
   note = {Available},
   year = {2000},
}