Formal Techniques for Java Programs

In: Moreira, A. and Demeyer, D.ed., Object-Oriented Technology. ECOOP'99 Workshop Reader. Lecture Notes in Computer Science, volume 1743, Available, 1999

Authors

• Bart Jacobs
• Gary T. Leavens
• Peter Müller
• Arnd Poetzsch-Heffter

Abstract

This report explains the motivation for a workshop on formal techniques for Java programs. It gives an overview of the presentations and summarizes the results of the working groups. Furthermore, it contains abstracts of the contributed papers.

Full Text

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

BibTeX

@InProceedings{Jacobs.Leavens.EA99formal, 
   author = {Bart Jacobs and Gary T. Leavens and Peter Müller and Arnd Poetzsch-Heffter}
   title = {Formal Techniques for Java Programs },
   booktitle = {Object-Oriented Technology. ECOOP'99 Workshop Reader},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer-Verlag},
   note = {Available},
   year = {1999},
}