 | Monter d'un niveau |
Bérard, B., & Mullins, J. (2014). Verification of Information Flow Properties under Rational Observation. Electronic Communications of the EASST, 70, 15 pages. Présentée à 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), Enschede, Netherlands. Lien externe
