Documents publiés en "2017"
Nombre de documents: 1
Communication écrite
Laverdière, M.-A., & Merlo, E. (février 2017). Computing counter-examples for privilege protection losses using security models [Communication écrite]. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt, Austria. Lien externe