Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Program translators
Computer software
6
Formal methods
6
Java programming language
6
Specifications
6
Model checking
4
Propositional formulas
4
Propositional variables
4
SAT solvers
4
SAT-based bounded verification
4
Software engineering
4
Static analysis
4
Tools
4
Abductive reasoning
2
Abstracting
2
Alloy
2
Alloying
2
Artificial intelligence
2
Atomic actions
2
Automated code generation
2
Bounded program verifications
2
Bounded verifications
2
C (programming language)
2
C++ (programming language)
2
C++ template library
2
Case studies
2
Cerium alloys
2
Code analysis
2
Codes (symbols)
2
Computational complexity
2
-
1
-
2
-
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013 -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16