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