Вы здесь

Главная

верификация по

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

Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
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 Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
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
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
Product-Focused Software Process Improvement: Proc./21st International Conference, PROFES 2020, Turin, Italy, November 2020
Software Engineering for Self-Adaptive Systems III: Assurances: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, December 2013
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021
Theoretical Aspects of Computing - ICTAC 2018: Proc./15th International Colloquium, Stellenbosch, South Africa, October 2018
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015
Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Verification and Evaluation of Computer and Communication Systems: Proc./14th International Conference, VECoS 2020, Xi'an, China, October 2020
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021