Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
2
Client code
2
Contract specifications
2
Contract strengthening
2
Enabledness abstractions
2
Finite state
2
Level of abstraction
2
MicroSoft
2
Software artifacts
2
Source codes
2
Specifications
2
Two-step process
2
Typestate
2
Typestate inference
2
Visual studios
2
Windows operating system
2
-
1Materias: “...Client code...”
-
2Materias: “...Client code...”
CONF