Ir para o conteúdo principal
Artigo em ata de conferência
Acesso aberto
Revisto por pares
Timely specification repair for alloy 6
Autor(es)
Cerqueira, Jorge
Cunha, Alcino
Macedo, Nuno
Ficheiros
SEFM22.pdf
(1.65 MB)
Versão
AM
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