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.
Static analysis
Java programming language
10
Alloy
8
Software engineering
8
Alloying
6
Code analysis
6
Computer software
6
DynAlloy
6
Propositional formulas
6
SAT-based code analysis
6
Tools
6
Cerium alloys
4
Data structures
4
KodKod
4
Linked data structures
4
Memory requirements
4
Model checking
4
Plug-ins
4
Program debugging
4
Program translators
4
Propositional variables
4
Real-time specification for javas
4
SAT-based bounded verification
4
Sequential programs
4
Software errors
4
Software testing
4
Source codes
4
Symmetry-breaking
4
TACO
4
bounded verification
4
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013 -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20