Integrating a Connection Based Proof Method into an
Interactive Program Development System.


Christoph Kreitz, Jens Otten, Stephan Schmitt.

ProCos Workshop on Linking Theories, Vedbaek, Denmark, 1995.




Extended Abstract is available in
postscript and pdf format
  Slides of the conference presentation are available in compressed postscript and pdf format
(Presentation: Jens Otten)




Bibtex Entry


BACK
Back to overview of papers
@InProceedings{inp:KreitzOttenSchmitt95a, author = "Christoph Kreitz and Jens Otten and Stephan Schmitt", title = "Integrating a Connection Based Proof Method into an Interactive Program Development System", booktitle = "ProCos Workshop on Linking Theories, Vedbaek, Denmark", year = "1995" }