Bchi, Lindenbaum, Tarski: A Program Analysis Appetizer.

Vijay D'Silva, Caterina Urban

Browse the full IJCAI paper archive.