Estatísticas para Practical Deductive Verification of OCaml Programs
Total de visitas
| views | |
|---|---|
| Practical Deductive Verification of OCaml Programs | 21 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 1 |
| novembro 2025 | 1 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Practical_Deductive_Verification_of_OCaml_Programs.pdf | 14 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 6 |
| China | 4 |
| Brasil | 2 |
| Portugal | 2 |
| Argentina | 1 |
| Canadá | 1 |
| Alemanha | 1 |
| Japão | 1 |
| Lituânia | 1 |