Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
4
Propositional variables
Alloy
2
Alloying
2
Boolean functions
2
Bounded verifications
2
Cerium alloys
2
Code analysis
2
Data flow analysis
2
Data handling
2
Data structures
2
Dataflow analysis
2
DynAlloy
2
Empirical evaluations
2
Formal logic
2
Java-like programs
2
Java-like programs verification
2
KodKod
2
Levels of abstraction
2
Linked data structures
2
Model checking
2
Program Verification
2
Program translators
2
Propositional formulas
2
SAT-based
2
SAT-based bounded verification
2
SAT-based code analysis
2
SAT-based verification
2
Sequential programs
2
-
1Materias: “...Java programming language...”
-
2Materias: “...Java programming language...”
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