Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal Verification
Ciencias Informáticas
3
Asistente de Prueba
2
Coq
2
Logic
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Modal and temporal logics (High Relevance)
2
Theory of computation
2
Verificación Formal
2
Agent-Based Systems
1
BIG DATA
1
Behavioral Synthesis
1
Graphic Languages
1
Languages
1
Metamorphic Testing
1
Modal Logics
1
Software
1
Software Design
1
-
1por Asteasuain, Fernando, D'Angiolo, Federico, Dubinsky, Manuel, Gamboa, Pablo Daniel
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion