Архив открытого доступаСанкт-Петербургского государственного университета
Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Результаты 1-2 из 2.
- назад
- 1
- дальше
Найденные ресурсы:
| Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
|---|---|---|---|
| 2023 | Development of the dynamic symbolic execution virtual machine for Java and Kotlin programming languages | Садыков Рустам Ахметович; Sadykov Rustam Ahmetovic | |
| 2023 | Automatic creation of unit tests to detect vulnerabilities in application source codes | Погребной Андрей Константинович; Pogrebnoj Andrej Konstantinovic |