Muestra la distribución de la producción WoS, Scopus y SciELO del autor.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
| Firmas del autor | |
| Nombre | TANTER, ERIC |
| Género | - |
| Área Principal WOS | Computer Science, Software Engineering; |
| Afiliación Principal | Universidad De Chile |
Publicaciones en Chile
Citas Totales
Afiliaciones Chilenas
| WOS | #Pub |
|---|---|
| Computer Science, Software Engineering | 1 |
| Scopus | #Pub |
|---|---|
| Software | 1 |
| SciELO | #Pub |
|---|
| Título | Año | Citas | Tipo | Revista | Indexada |
|---|---|---|---|---|---|
| Gradual C0: Symbolic Execution For Gradual Verification | 2024 | 0 | artículo de investigación | Acm Transactions On Programming Languages And Systems | WoS Scopus |
| Palabra Clave | #Pub |
|---|---|
| gradual verification | 1 |
| implicit dynamic frames | 1 |
| symbolic execution | 1 |