Explanations of a Problem Specification according to the FOREST-Approach¹

Martin Kronenburg Research Group Formal Methods and Deduction kronburg@informatik.uni-kl.de

University of Kaiserslautern

June 4, 1999