Репозиторий NUR

Статистика

Статистика

Общее число посещений

Просмотры
Fun with formal methods is more than fun 161

Посещений за месяц

Октябрь 2023 Ноябрь 2023 Декабрь 2023 Январь 2024 Февраль 2024 Март 2024 Апрель 2024
Fun with formal methods is more than fun 0 5 15 4 2 4 11

Обращения к файлам

Просмотры
F U N W I T H F O R M A L.pdf 48

по странам

Просмотры
Соединенные Штаты 66
Россия 19
Германия 18
Швеция 13
Франция 8
Китай 7
Вьетнам 4
Австрия 3
Австралия 2
Иран 2

по городам

Просмотры
Louisville 14
San Mateo 10
Moscow 8
Oakland 8
Boardman 7
Shanghai 5
Hanoi 4
Des Moines 3
Vienna 3
Ann Arbor 2