Просмотр собрания по группе - Авторы Bulycev Dmitrij Urevic
Результаты 3 по 3 из 3
< назад
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2022 | Verification of model checking algorithm for concurrent programs in the Coq theorem prover | Гладштейн Владимир Петрович; Gladstejn Vladimir Petrovic |