We would like to thank

	Prof. J. Avenhaus and Prof. R. Gotzhein	for the support of our struggle,
	the members of Team 3 of SFB 501	who placed an initial problem description at our disposal, and
	Katrin Peper	for the design of the FOREST logo and web pages.

	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.