Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
2
Automatic analysis
Formal logic
2
Abstracting
1
Algebra
1
Alloy analyzers
1
Alloy calculus
1
Alloying
1
Alloys
1
Automation
1
Calculations
1
Computer programming languages
1
Critical applications
1
Data domains
1
Dynamic logic
1
Fork algebras
1
Logic design
1
PVS
1
Problem solving
1
Propositional formulas
1
Relational specifications
1
Semi-automatics
1
Theorem proving
1
Tools
1
Unsat-cores
1
-
1
-
2