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.
Expresiones de navegación
2
Ingeniería de software
2
Operadores de mutación
2
Reparación de programas
2
Software and its engineering
2
Software defect analysis
2
Software testing and debugging
2
Software verification and validation
2
Ciencias Informáticas
1
Formal methods
1
Lenguajes de Programación
1
Validation
1
Verification
1
lenguaje de especificaciones
1
operador para composición paralela
1
validación de propiedades
1
-
1Materias: “...operador para composición paralela...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Gutiérrez Brida, Simón EmmanuelMaterias: “...Operadores de mutación...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
3por Gutiérrez Brida, Simón EmmanuelMaterias: “...Operadores de mutación...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion