Kelly and Nonnenmann. "Inferring Formal Software Specifications from Episodic Descriptions." AAAI Conference on Artificial Intelligence, 1987.
Markdown
[Kelly and Nonnenmann. "Inferring Formal Software Specifications from Episodic Descriptions." AAAI Conference on Artificial Intelligence, 1987.](https://mlanthology.org/aaai/1987/kelly1987aaai-inferring/)
BibTeX
@inproceedings{kelly1987aaai-inferring,
title = {{Inferring Formal Software Specifications from Episodic Descriptions}},
author = {Kelly, Van E. and Nonnenmann, Uwe},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1987},
pages = {127-132},
url = {https://mlanthology.org/aaai/1987/kelly1987aaai-inferring/}
}