Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy languages
1
Atomic transition
1
Autopilot systems
1
Cerium alloys
1
Computer software
Dynamic logic
1
Example based
1
Linguistics
1
Operational languages
1
Requirements specifications
1
SAT-solving
Software engineering
1
Specifications
1
Tabular expressions
1
Tabular notation
1
Tabular specifications
1
Test harness
1
-
1Materias: “...Computer software...”
Artículo publishedVersion