Estatísticas para Verifying real-world software with contracts for concurrency
Total de visitas
| views | |
|---|---|
| Verifying real-world software with contracts for concurrency | 27 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 2 |
| novembro 2025 | 4 |
| dezembro 2025 | 3 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Verifying_real_world_software_with_contracts_for_concurrency.pdf | 44 |
| Dissertação Beatriz Carlos (versão revista).pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 7 |
| Portugal | 4 |
| Região desconhecida | 4 |
| Argentina | 2 |
| Brasil | 2 |
| Canadá | 1 |
| China | 1 |
| Irlanda | 1 |
| Paquistão | 1 |
| Roménia | 1 |
| Ucrânia | 1 |