Research Group Logo CS Dept.
Formal Methods and Deduction
Prof. Dr. J. Avenhaus
Team picture
Back to the description of Teamwork!
Impressum RG Formal Methods and Deduction Department of Informatics Technical University of Kaiserslautern Valid HTML 4.01!
Last Update: Wednesday, 26-Oct-05 08:59:21 GMT
denzinge@informatik.uni-kl.de