Links

	J.UCS Special Issue on RECS 1999
	University of Kaiserslautern
	SFB 501
	Computer Networks Group
	Research Group Formal Methods and Deduction

	Superordinated page: FOREST - Formal Requirement Specification Technique

	Feedback
	Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

	Deutsch
	This page in german. Diese Seite auf deutsch.