Estatísticas para Formal Contracts for Runtime Verification Support in the Ada Programming Language
Total de visitas
| views | |
|---|---|
| Formal Contracts for Runtime Verification Support in the Ada Programming Language | 20 |
Total de visitas por mês
| views | |
|---|---|
| agosto 2025 | 0 |
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 1 |
| fevereiro 2026 | 0 |
Downloads
| views | |
|---|---|
| POST_CISTER__Formal Contracts for Runtime Verification.pdf | 52 |
| null | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 6 |
| Portugal | 4 |
| Irão | 2 |
| Coreia do Sul | 2 |
| Rússia | 2 |
| Brasil | 1 |
| Canadá | 1 |
| China | 1 |
| Alemanha | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Los Angeles | 3 |