Ir para o conteúdo principal
Artigo
Acesso aberto
Revisto por pares
A single complete relational rule for coalgebraic refinement
Autor(es)
Rodrigues, César J.
Oliveira, José Nuno Fonseca
Barbosa, L. S.
Ficheiros
Refine09-RBO.pdf
(316.06 KB)
Embargo
Tipo de Documento
Artigo
Idioma
Métricas Alternativas
Coleções
DI/CCTC - Artigos | Articles
A carregar...
Ver registo completo