Alloy meets the algebra of programming: a case study Artigo Académico

Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos

autores

Oliveira, José Nuno Fonseca
Ferreira, Miguel A.
Oliveira, J.N.
Ferreira, M.A.

data de publicação

janeiro 1, 2013

publicada em

IEEE Transactions on Software Engineering Revista