نتایج جستجو
Provable Security: 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Serge Vaudenay (auth.), 2013
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Jean-Raymond Abrial (auth.), 2013
