 | Monter d'un niveau |
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
