Архив открытого доступаСанкт-Петербургского государственного университета
Статистика
Всего просмотров
| Просмотров | |
|---|---|
| Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | 19 |
Всего просмотров за месяц
| января 2024 | февраля 2024 | марта 2024 | апреля 2024 | мая 2024 | июня 2024 | июля 2024 | |
|---|---|---|---|---|---|---|---|
| Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | 2 | 0 | 2 | 0 | 5 | 4 | 0 |
Загрузок файла
| Просмотров | |
|---|---|
| st075702.pdf | 13 |
| reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Grigoreva_S.A..pdf | 11 |
| reviewSV_st075702_Grigorev_Savelij_Alekseevic_(supervisor)(Ru).txt | 2 |
ТОП-просмотров по странам
| Просмотров | |
|---|---|
| Россия | 8 |
| Соединенные Штаты | 5 |
| Австралия | 3 |
| Беларусь | 1 |
| Китай | 1 |
ТОП-просмотров по городам
| Просмотров | |
|---|---|
| St Petersburg | 6 |
| Minsk | 1 |
| Moscow | 1 |