Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Abstracting
1
Algebra
1
Alloy
1
Automatic analysis
1
Automation
1
Complex data structures
1
Computer programming languages
1
Concretes
1
Data structures
1
Dynamic logic
1
Fork algebras
1
Logic design
1
Model checking
1
Novel techniques
1
Orders of magnitude
1
Problem solving
1
Relational specifications
1
Satisfiability
1
Symbolic PathFinder
1
Symbolic execution
1
lazy initialization
1
tight field bounds
1
-
1Materias: “...Dynamic logic...”
JOUR -
2Materias: “...Formal logic...”
JOUR