VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Formal Methods – The Next 30 Years
Livro
http://dx.doi.org/10.1007/978-3-030-30942-8
Visão geral
Identidade
Ver Todos
Visão geral
autores
Oliveira, José Nuno Fonseca
data de publicação
2019
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-30942-8
