Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
6
Propositional variables
Alloy
4
Code analysis
4
Computer software
4
Data structures
4
DynAlloy
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional formulas
4
SAT-based bounded verification
4
SAT-based code analysis
4
Sequential programs
4
Static analysis
4
Alloying
2
Automated techniques
2
Boolean functions
2
Bounded verifications
2
Cerium alloys
2
Computer software selection and evaluation
2
Data flow analysis
2
Data handling
2
Dataflow analysis
2
Empirical evaluations
2
Execution trace
2
Formal logic
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
-
1Materias: “...Java-like programs verification...”
-
2Materias: “...Java-like programs verification...”
JOUR -
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2013
-
4Materias: “...Java programming language...”
JOUR -
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2010
-
6Materias: “...Java programming language...”
CONF