Computer-Aided Program Development Group

Prof. Dr. Rudolf Berghammer

Group leader

Christian-Albrechts-Platz 4, R. 708 (CAP 4)
Phone: +49 431 880-7272
Telefax: +49 431 880-7613

Fields of Research

  • Programming languages and formal program derivation
  • Relation-based calculi and their applications in Computer Science
  • Tool support for specification, development and verification
  • Use of graphs in Computer Science



List of publications (pdf)

List of publications (DBLP Trier)

Some selected publications