Вы здесь

Главная

теория безопасности

Связанные издания:

Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Information Security: Proc./23rd International Conference, ISC 2020, Bali, Indonesia, December 2020
Security and Trust Management: Proc./17th International Workshop, STM 2021, Darmstadt, Germany, October 2021
Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017