Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
3
Laws and legislation
Contract Verification
2
Artificial intelligence
1
Automata-based formalisms
1
Automatic analysis
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Kanger's Types
1
Legal documents
1
Model Checking Regulations
1
Model checker
1
Model checking
1
Normative system
1
Permissions
1
Semantics
1
Software Specification
1
Strictness analysis
1
Toolsets
1
-
1
-
2
-
3