Вы здесь

Главная

динамический анализ

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

Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016
Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019
Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
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./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014