Вы здесь

Главная

анализ безопасности

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

Deductive Software Verification - The KeY Book: From Theory to Practice
Graphical Models for Security: Revised Selected Papers/7th International Workshop, GraMSec 2020, Boston,MA,USA, June 2020
Image Analysis and Recognition, Part II: Proc./7th International Conference, ICIAR 2010, Povoa de Varzim, Portugal, June 2010
Image Analysis and Recognition, Part I: Proc./7th International Conference, ICIAR 2010, Povoa de Varzim, Portugal, June 2010
Informatics in Schools: Teaching and Learning Perspectives: Proc./7th International Conference, ISSEP 2014, Istanbul, Turkey, September 2014
Reachability Problems: Proc./12th International Conference, RP 2018, Marseille, France, September 2018
Security Standardization Research: Proc./6th International Conference, SSR 2020, London, UK, November 2020
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020