Estatísticas para Formal Verification of Programs Equivalence
Total de visitas
| views | |
|---|---|
| Formal Verification of Programs Equivalence | 13 |
Total de visitas por mês
| views | |
|---|---|
| março 2026 | 0 |
| abril 2026 | 1 |
| maio 2026 | 2 |
| junho 2026 | 4 |
| julho 2026 | 4 |
| agosto 2026 | 2 |
| setembro 2026 | 0 |
Downloads
| views | |
|---|---|
| Nini_2025.pdf | 80 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 8 |
| Suíça | 1 |
| França | 1 |
| Reino Unido | 1 |
| Coreia do Sul | 1 |
| Países Baixos | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Amora | 4 |
| Lavradio | 2 |
| Amsterdam | 1 |
| Bern | 1 |
| Cartaxo | 1 |
| Lisbon | 1 |
| London | 1 |
| Seoul | 1 |
| Villejuif | 1 |