Logo BSU

Statistics

Total Visits

Views
Об автоматическом доказательстве правильности программ в системе функционального программирования 148

Total Visits per Month

April 2025 May 2025 June 2025 July 2025 August 2025 September 2025 October 2025
Об автоматическом доказательстве правильности программ в системе функционального программирования 5 1 10 2 5 50 6

File Downloads

Views
31-34.pdf 37

Top Country Views

Views
United States 71
Canada 22
Belarus 16
China 12
Japan 6
Australia 4
Russia 4
Ukraine 4
India 2
Bangladesh 1

Top City Views

Views
Houston 45
Ottawa 22
Tokyo 6
Mogilev 3
Sumy 3
Buffalo 2
Hefei 2
Seattle 2
Andover 1
Ashburn 1