Вы здесь

Главная

статический анализ

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

Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012
Deductive Software Verification - The KeY Book: From Theory to Practice
ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010
Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Generative and Transformational Techniques in Software Engineering IV: Revised Papes/ International Summer School, GTTSE 2011, Braga, Portugal, July 2011
Grand Timely Topics in Software Engineering: Tutorial Lectures/International Summer School GTTSE 2015, Braga, Portugal, August 2015
Graph Transformation: Proc./7th International Conference, ICGT 2014 Held as Part of STAF 2014, York, UK, July 2014
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Integrated Formal Methods: Proc./8th International Conference, IFM 2010, Nancy, France, October 2010
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Programming and Performance Visualization Tools: Revised Selected Papers/ International Workshops, ESPT 2017 and VPA 2017, Denver,CO,USA, November 2017 and ESPT 2018 and VPA 2018, Dallas,TX,USA, November 2018
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Programming Languages and Systems: Proc./16th European Symposium on Programming, ESOP 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Programming Languages and Systems: Proc./17th European Symposium on Programming, ESOP 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./24th European Symposium on Programming, ESOP 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009
Software Analysis, Testing, and Evolution: Proc./8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 2018
Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014
Static Analysis: Proc./14th International Symposium, SAS 2007. Kongens Lyngby, Denmark, August 2007
Static Analysis: Proc./15th International Symposium, SAS 2008. Valencia, Spain, July 2008
Static Analysis: Proc./16th International Symposium, SAS 2009. Los Angeles, CA, USA, August 2009
Static Analysis: Proc./22nd International Symposium, SAS 2015, Saint-Malo, France, September 2015
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Static Analysis: Proc./25th International Symposium, SAS 2018
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021
Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007
Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010
Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014
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./23rd International Conference, TACAS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
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