Nonnenmann, Uwe

1 publications

AAAI 1987 Inferring Formal Software Specifications from Episodic Descriptions Van E. Kelly, Uwe Nonnenmann