Вы здесь

Главная

качество по

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

Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Safety, Reliability, and Security: Proc./40th International Conference, SAFECOMP 2021 , York, UK, September 2021
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
Electronic Voting: Proc./5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 2020
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 2021
Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021
Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018
Frontiers in Software Engineering Education: Invited Papers/1st International Workshop, FISEE 2019, Villebrumier, France, November 2019
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
Model-Based Safety and Assessment: Proc./7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 2020
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
Networked Systems: Proc./9th International Conference, NETYS 2021, Virtual Event, May 2021
Product-Focused Software Process Improvement: Proc./18th International Conference, PROFES 2017, Innsbruck, Austria, November 2017
Product-Focused Software Process Improvement: Proc./19th International Conference, PROFES 2018, Wolfsburg, Germany, November 2018
Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 2020
Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020
Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021
Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021
Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Методы измерения качества программного обеспечения