Вы здесь

Главная

абстрактная интерпретация

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

Format verification of programs for abstract register machines
Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 2009
Functional and Constraint Logoc Programming: Proc./20th International Workshop, WFLP 2011, Odense. Denmark, July 2011
NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
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
Static Analysis: Proc./16th International Symposium, SAS 2009. Los Angeles, CA, USA, August 2009
Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020
Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010
Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Верификация программ: состояние, проблемы, результаты. Часть 2