Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Boolean functions
Bounded verifications
2
Computer software
Data flow analysis
2
Dataflow analysis
2
Empirical evaluations
2
Formal logic
2
Java programming language
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
Program Verification
2
Propositional variables
2
SAT-based
2
SAT-based verification
2
Worst-case complexity
2
-
1Materias: “...Java programming language...”
-
2Materias: “...Java programming language...”
JOUR