Visualizaciones | |
---|---|
Logic-based techniques for program analysis and specification synthesis | 632 |
noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
---|---|---|---|---|---|---|---|
Logic-based techniques for program analysis and specification synthesis | 8 | 10 | 10 | 10 | 5 | 14 | 0 |
Visualizaciones | |
---|---|
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf | 2146 |
INDICE TESIS.pdf | 307 |
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf.jpg | 193 |
RESUMEN CASTELLANO.pdf | 65 |
SUMMARY ENGLISH.pdf | 61 |
RESUM VALENCIA.pdf | 47 |
RESUMEN CASTELLANO.pdf.jpg | 12 |
SUMMARY ENGLISH.pdf.jpg | 12 |
INDICE TESIS.pdf.jpg | 12 |
RESUM VALENCIA.pdf.jpg | 11 |
Visualizaciones | |
---|---|
Estados Unidos | 314 |
España | 71 |
China | 48 |
Alemania | 37 |
Francia | 23 |
Reino Unido | 13 |
Canadá | 10 |
Rusia | 9 |
Suecia | 7 |
Irlanda | 5 |
Visualizaciones | |
---|---|
Ashburn | 146 |
Redmond | 22 |
Valencia | 19 |
Beijing | 14 |
San Mateo | 12 |
Boardman | 11 |
Mountain View | 9 |
Los Angeles | 8 |
Montréal | 8 |
Grenoble | 7 |