Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001
On the Monniaux Problem in Abstract Interpretation
SAS, 2019.
@inproceedings{SAS-2019-FijalkowLOOP0,
author = "Nathanaël Fijalkow and Engel Lefaucheux and Pierre Ohlmann and Joël Ouaknine and Amaury Pouly and James Worrell 0001",
booktitle = "{Proceedings of the 26th International Static Analysis Symposium}",
doi = "10.1007/978-3-030-32304-2_9",
isbn = "['978-3-030-32303-5', '978-3-030-32304-2']",
pages = "162--180",
publisher = "{Springer}",
title = "{On the Monniaux Problem in Abstract Interpretation}",
year = 2019,
}
Tags: