Contact

FOREST Contact

Contact

Martin Kronenburg
Research Group
Formal Methods and Deduction
kronburg@informatik.uni-kl.de
Christian Peper
Research Group
Computer Networks
peper@informatik.uni-kl.de

 




 Superordinated page: FOREST - Formal Requirement Specification Technique

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.