Manna and Waldinger. "A Deductive Approach to Program Synthesis." International Joint Conference on Artificial Intelligence, 1979. doi:10.1145/357084.357090
Markdown
[Manna and Waldinger. "A Deductive Approach to Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/manna1979ijcai-deductive/) doi:10.1145/357084.357090
BibTeX
@inproceedings{manna1979ijcai-deductive,
title = {{A Deductive Approach to Program Synthesis}},
author = {Manna, Zohar and Waldinger, Richard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {542-551},
doi = {10.1145/357084.357090},
url = {https://mlanthology.org/ijcai/1979/manna1979ijcai-deductive/}
}