@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32837656
|
|
|