Вы здесь

Главная

анализ программ

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

Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Compiler Construction: Proc./15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Compiler Construction: Proc./16th Intl Conference, CC 2007, Held as Part of the Joint European Conferences on the Theory and Practice of Software, ETAPS 2007. Braga, Portugal, March 2007
Compiler Construction: Proc./19th International Conference CC 2010, Held as Part of the Join European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Compiler Construction: Proc./23rd International Conference, CC 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Computational Science - ICCS 2008: Part III: Proc./8th International Conference. Krakow, Poland, June 2008
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015
ECOOP 2014 - Object-Oriented Programming: Proc./28th European Conference, Uppsala, Sweden, July 2014
Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009
Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science and Compitation Structures: Proc./17th International Conference, FOSSACS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Proc./26th International Conference Kolkata,India,December 2006
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014
Fundamental Approaches to Software Engineering: Proc./13th International Conference, FASE 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009
Implementation and Application of Automata: Proc./14th International Conference, CIAA 2009. Sydney, Australia, July 2009
Integrated approach to analysis and verification of imperative programs
Integrated Formal Methods: Proc./6th International Conference, IFM 2007. Oxford, UK, July 2007
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018
Logic Programming and Nonmonotonic Reasoning: Proc./11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011
Logic Programming: Proc./22nd International Conference, ICLP 2006. Seattle, WA, USA, August 2006
Logic Programming: Proc./23rd International Conference, ICLP 2007. Porto, Portugal, September 2007
Mathematical Foundations of Computer Science: Logic Aspect of Programs: Proc./6th IBM Symposium, Tokyo, Japan, May 1981
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Model Checking Software: Proc./14th International SPIN Workshop. Berlin, Germany, July 2007
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
Object-Oriented Technology: Final Reports/ECOOP 2006 Workshops. Nantes, France, July 2006
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010
Practical Aspects of Declarative Languages: Proc./15th International Symposium, PADL 2013, Rome, Italy, January 2013
Practical Aspects of Declarative Languages: Proc./16th International Symposium, PADL 2014, San Diego,CA,USA, January 2014
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012