Statistics
Total Visits
| Views | |
|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 176 |
Total Visits per Month
| June 2025 | July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | |
|---|---|---|---|---|---|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 10 | 2 | 5 | 50 | 8 | 23 | 3 |
File Downloads
| Views | |
|---|---|
| 31-34.pdf | 45 |
Top Country Views
| Views | |
|---|---|
| United States | 72 |
| Canada | 28 |
| Belarus | 21 |
| China | 13 |
| Japan | 8 |
| Russia | 8 |
| Australia | 4 |
| Ukraine | 4 |
| Venezuela | 3 |
| India | 2 |
Top City Views
| Views | |
|---|---|
| Houston | 45 |
| Ottawa | 28 |
| Tokyo | 8 |
| Mogilev | 7 |
| Caracas | 3 |
| Sumy | 3 |
| Buffalo | 2 |
| Hefei | 2 |
| Seattle | 2 |
| Andover | 1 |