english Icono del idioma   español Icono del idioma  

Estadísticas


Total de Visitas


Visitas
Reasoning about functional programs by combining interactive and automatic proofs 190

Total de Visitas por Mes


enero 2025 febrero 2025 marzo 2025 abril 2025 mayo 2025 junio 2025 julio 2025
Reasoning about functional programs by combining interactive and automatic proofs 0 0 6 7 2 6 2

Total de Descargas


Visitas
tesisd-sicard.pdf 154

Top Países


Visitas
Estados Unidos 52
Uruguay 29
China 26
Colombia 16
Canadá 15
Suecia 4
Argentina 3
Francia 3
Reino Unido 3
India 3

Top Ciudades


Visitas
Montevideo 29
Medellín 13
Ottawa 10
Ann Arbor 6
Beijing 6
Fairfield 5
Oakland 5
Mountain View 4
Santa Clara 4
Shenyang 4