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.
ALLOY
4
ALLOY CALCULUS
2
ANALISIS AUTOMATICO DE SOFTWARE
2
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
2
ANALISIS DE PROGRAMAS USANDO SAT
2
ANALISIS ESTATICO
2
AUTOMATED SOFTWARE ANALYSIS
2
BOUNDED EXHAUSTIVE VERIFICATION
2
CALCULO PARA ALLOY
2
DEMOSTRACION DE TEOREMAS INTERACTIVA
2
DISTRIBUTED SYSTEMS
2
DYNALLOY
2
EJECUCION SIMBOLICA
2
INGENIERIA DE SOFTWARE
2
INTERACTIVE THEOREM PROVING
2
JAVA
2
JAVA (LENGUAJE DE PROGRAMACION)
2
JML
2
KODKOD
2
LANGUAGES
2
LENGUAJES
2
PVS
2
SAT-BASED CODE ANALYSIS
2
SAT-SOLVING
2
SISTEMAS DISTRIBUIDOS
2
SOFTWARE ENGINEERING
2
SPECIFICATION ANALYSIS
2
STATIC ANALYSIS
2
SYMBOLIC EXECUTION
2
TACO
2
-
1
-
2
-
3por Moscato, Mariano MiguelMaterias: “...CALCULO PARA ALLOY...”
Publicado 2013
Tesis doctoral publishedVersion -
4por Moscato, Mariano MiguelMaterias: “...CALCULO PARA ALLOY...”
Publicado 2013
Tesis doctoral publishedVersion -
5
-
6
-
7