Inferring Formal Software Specifications from Episodic Descriptions.

Van E. Kelly, Uwe Nonnenmann

Browse the full AAAI paper archive.