Вы здесь

Главная

верификационная система

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

Format verification of programs for abstract register machines
Mathematical Aspects of Computer and Information Science: Revised Selectes Papers/6th International Conference, MACIS 2015, Berlin, Germany, November 2015
Transactions on Petri Nets and Other Models of Concurrency XI
Transactions on Petri Nets and Other Models of Concurrency XII
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/7th Internationl Conference, VSTTE 2015, San Francisco,CA,USA, July 2015