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