Artigo Acesso aberto

Transposing partial components: an exercise on coalgebraic refinement

Autor(es)

Ficheiros

Primário BO06_lsb.pdf (304.21 KB)

Embargo

Tipo de Documento

Artigo

Idioma

Métricas Alternativas

Coleções

DI/CCTC - Artigos | Articles
A carregar...
Ver registo completo
UM