Вы здесь

Главная

separation logic

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

Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Programming Languages and Systems: Proc./21st European Symposium on Programming, ESOP 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Programming Languages and Systems: Proc./27th European Symposium, ESOP 2018 Held as Part of ETAPS 2018, Thessaloniki, Greece, April 2018
Relations and Kleene Algebra in Computer Science: Proc./11th International Conference, RelMiCS 2009 and 6th International Conference, AKA 2009, Doha, Qatar, November 2009
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010