@inproceedings{BH9,
title = { Disjunctive relational abstract interpretation for interprocedural program analysis },
author = {Boutonnet, R\'emy and Halbwachs, Nicolas},
month = {jan},
year = {2019},
booktitle = {VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation},
address = {Cascais, Portugal},
team = {PACSS},
}
