Вы здесь

Главная

формальная верификация

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

Verification and Evaluation of Computer and Communication Systems: Proc./14th International Conference, VECoS 2020, Xi'an, China, October 2020
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Формальные модели программ и языков программирования. Часть 2. Современное состояние исследований