ML Anthology
Authors
Search
About
Nonnenmann, Uwe
1 publications
AAAI
1987
Inferring Formal Software Specifications from Episodic Descriptions
Van E. Kelly
,
Uwe Nonnenmann