Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
Static analysis
Computer software
6
Alloy
4
Code analysis
4
Data structures
4
DynAlloy
4
KodKod
4
Linked data structures
4
Model checking
4
Program translators
4
Propositional formulas
4
Propositional variables
4
Real-time specification for javas
4
SAT-based bounded verification
4
SAT-based code analysis
4
Sequential programs
4
Tools
4
static analysis
4
Aircraft accidents
2
Aircraft collisions
2
Alloying
2
Analysis techniques
2
Analysis-based approaches
2
Automated techniques
2
Automatic programming
2
Bounded verifications
2
Cerium alloys
2
Closed form
2
Compile time
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