Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Algebra
2
Alloy
2
Automatic analysis
2
Computer software
2
Fork algebras
2
Theorem proving
2
Abstracting
1
Alloy analyzers
1
Alloy calculus
1
Alloying
1
Alloys
1
Automation
1
Boolean functions
1
Bounded verifications
1
Calculations
1
Complex data structures
1
Computer programming languages
1
Concretes
1
Critical applications
1
Data domains
1
Data flow analysis
1
Data structures
1
Dataflow analysis
1
Dynamic logic
1
Empirical evaluations
1
Interpretability
1
Java programming language
1
Java-like programs
1
Java-like programs verification
1
-
1Materias: “...Dynamic logic...”
JOUR -
2
-
3Materias: “...Formal logic...”
JOUR -
4Materias: “...Formal logic...”
JOUR -
5Materias: “...Formal logic...”
JOUR