![](/img/cover-not-exists.png)
[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Checking Accountability with a Prover
Benghabrit, Walid, Grall, Herve, Royer, Jean-Claude, Sellami, MohamedYear:
2015
Language:
english
DOI:
10.1109/COMPSAC.2015.8
File:
PDF, 605 KB
english, 2015