Вы здесь

Главная

цифровое моделирование

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

Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020