Estatísticas para Towards a formally verified microkernel using the VCC verifier
Total de visitas
| views | |
|---|---|
| Towards a formally verified microkernel using the VCC verifier | 98 |
Total de visitas por mês
| views | |
|---|---|
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 1 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
Downloads
| views | |
|---|---|
| Dissertacao_Joaquim_Tojal.pdf | 299 |
| Business Models for Airport Management and Development – Air-Side Effects.doc | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 35 |
| Portugal | 26 |
| China | 9 |
| Alemanha | 9 |
| Brasil | 3 |
| Taiwan | 3 |
| Irão | 2 |
| Itália | 2 |
| Chéquia | 1 |
| França | 1 |
| Índia | 1 |
| Letónia | 1 |
| Moldávia | 1 |
| Suécia | 1 |
| Singapura | 1 |
| África do Sul | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Porto | 1 |