Artigo Acesso aberto Revisto por pares

A single complete relational rule for coalgebraic refinement

Embargo

Tipo de Documento

Idioma

Métricas Alternativas