VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Fechar
Publicações no PortAberta
Co-autor de rede
Mapa da Ciência
J.N. Oliveira
Pessoa
Publicações
Contato
Ver Todos
Publicações
publicações selecionadas
artigo de conferência
Camila Revival: VDM meets Haskell
2005
Contato
nome completo
J.N.
Oliveira
