VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Automatic unbounded verification of Alloy specifications with Prover9
http://arxiv.org/abs/1209.5773
Visão geral
Informação adicional documento
Ver Todos
Visão geral
autores
Macedo, Nuno
Cunha, Alcino
data de publicação
janeiro 1, 2012
Informação adicional documento
Volume
1209.5773
