Estatísticas para Experimental Evaluation of Formal Software Development Using Dependently Typed Languages
Total de visitas
| views | |
|---|---|
| Experimental Evaluation of Formal Software Development Using Dependently Typed Languages | 38 |
Total de visitas por mês
| views | |
|---|---|
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
Downloads
| views | |
|---|---|
| COM_CISTER_Tamasi_2019.pdf | 43 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 8 |
| Espanha | 6 |
| Suíça | 4 |
| Portugal | 4 |
| China | 3 |
| Reino Unido | 3 |
| Canadá | 2 |
| Chile | 2 |
| Chéquia | 1 |
| Finlândia | 1 |
| Grécia | 1 |
| Hungria | 1 |
| Irlanda | 1 |
| Polónia | 1 |