Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
3
Model checking
2
Program translators
2
Propositional variables
2
Abstracting
1
Alloy
1
Alloying
1
Atomic actions
1
Boolean functions
1
Bounded verifications
1
Case studies
1
Cerium alloys
1
Code analysis
1
Computer software reusability
1
Data flow analysis
1
Data handling
1
Data structures
1
Dataflow analysis
1
DynAlloy
1
Dynamic logics
1
Empirical evaluations
1
Final states
1
Formal logic
1
Formal methods
1
Intermediate states
1
JAVA programs
1
Java-like programs
1
Java-like programs verification
1
KodKod
1
-
1Materias: “...Java programming language...”
-
2Materias: “...Java programming language...”
-
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2013