D'Silva and Urban. "Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[D'Silva and Urban. "Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/dapossilva2016ijcai-buchi/)
BibTeX
@inproceedings{dapossilva2016ijcai-buchi,
title = {{Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer}},
author = {D'Silva, Vijay and Urban, Caterina},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4150-4154},
url = {https://mlanthology.org/ijcai/2016/dapossilva2016ijcai-buchi/}
}