A refinement checking based strategy for component-based systems evolution
Documento
-
- Visão geral
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Identidade
identificador BrCris
-
fa52a41bff8dd9174d57559985d3eb48
Outro