Research Group
Formal Methods and Deduction
Prof. Dr. J. Avenhaus

At Kaiserslautern

• Jörg Denzinger
  
• Dirk Fuchs
  
• Martin Kronenburg
  

At other universities

• Marc Fuchs
  
• Matthias Fuchs
  
• Jürgen Lind
  
• Stephan Schulz
  

Students that are or were involved in the project

• Klaus Künzel
  
• Tim Offermann
  
• Werner Pitz
  
• Stephan Scholz
  

Impressum

RG Formal Methods and Deduction

Department of Informatics

Technical University of Kaiserslautern