Artigo em ata de conferência Acesso aberto Revisto por pares

Relations as executable specifications: taming partiality and non-determinism using invariants

Autor(es)

Ficheiros

ramics12-1.pdf (365.98 KB)

Embargo

Tipo de Documento

Artigo em ata de conferência

Idioma

Métricas Alternativas

Coleções

HASLab - Artigos em atas de conferências internacionais (texto completo) | Articles in international conference proceedings (full text)
A carregar...
Ver registo completo
UM