Estatísticas para Verifying real-world software with contracts for concurrency
Total de visitas
| views | |
|---|---|
| Verifying real-world software with contracts for concurrency | 29 |
Total de visitas por mês
| views | |
|---|---|
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 2 |
| junho 2026 | 0 |
| julho 2026 | 0 |
| agosto 2026 | 0 |
Downloads
| views | |
|---|---|
| Verifying_real_world_software_with_contracts_for_concurrency.pdf | 73 |
| Dissertação Beatriz Carlos (versão revista).pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 7 |
| Portugal | 6 |
| Região desconhecida | 4 |
| Argentina | 2 |
| Brasil | 2 |
| Canadá | 1 |
| China | 1 |
| Irlanda | 1 |
| Paquistão | 1 |
| Roménia | 1 |
| Ucrânia | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Lisbon | 2 |