VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
On Quantitative Solution Iteration in QAlloy
Capítulo de livro
https://doi.org/10.1007/978-3-031-94533-5_6
Visão geral
Identidade
Ver Todos
Visão geral
autores
Macedo, Nuno
Oliveira, José Nuno Fonseca
data de publicação
2025
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-031-94533-5_6
