@article{EMP1,
title = { Output-sensitive Information flow analysis },
author = {Ene, Cristian and Mounier, Laurent and Potet, Marie-Laure},
month = {Feb},
year = {2021},
journal = {{Logical Methods in Computer Science}},
volume = {{Volume 17, Issue 1}},
team = {PACSS, axe_Pacs},
}
