Statistics
Total Visits
Views | |
---|---|
Verification of model checking algorithm for concurrent programs in the Coq theorem prover | 16 |
Total Visits per Month
February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | |
---|---|---|---|---|---|---|---|
Verification of model checking algorithm for concurrent programs in the Coq theorem prover | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
File Downloads
Views | |
---|---|
thesis_main.pdf | 22 |
reviewSV_Otzyv_Gladstejn.pdf | 12 |
Top Country Views
Views | |
---|---|
Russia | 7 |
Germany | 4 |
United States | 3 |
Armenia | 1 |
Top City Views
Views | |
---|---|
Moscow | 3 |
St Petersburg | 2 |
Novosibirsk | 1 |
Yerevan | 1 |