Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
3
Bounded verifications
2
Program translators
2
Propositional variables
2
Static analysis
2
Tools
2
Alloy
1
Alloying
1
Boolean functions
1
Cerium alloys
1
Code analysis
1
Data flow analysis
1
Data handling
1
Data structures
1
Dataflow analysis
1
DynAlloy
1
Empirical evaluations
1
Formal logic
1
Formal tools
1
Java program
1
Java-like programs
1
Java-like programs verification
1
KodKod
1
Levels of abstraction
1
Linked data structures
1
Model checking
1
Plug-ins
1
Program Verification
1
Program debugging
1
-
1Materias: “...Java program...”
JOUR -
2Materias: “...Java programming language...”
JOUR -
3Materias: “...Java programming language...”
JOUR