Estatísticas para On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage
Total de visitas
| views | |
|---|---|
| On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage | 16 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 3 |
| novembro 2025 | 4 |
| dezembro 2025 | 1 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| 10.4230_lipics.ecoop.2023.40.pdf | 5 |
Top de consultas por país
| views | |
|---|---|
| Canadá | 2 |
| Estados Unidos | 2 |
| Austrália | 1 |
| Bolívia | 1 |
| Brasil | 1 |
| China | 1 |
| Índia | 1 |
| Jordânia | 1 |
| Japão | 1 |
| Marrocos | 1 |
| Portugal | 1 |