Hans-Joachim Neusser

• Wissenbasierte Software-Validation unter Unix