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
L.S. Barbosa
Pessoa
Publicações
Contato
Ver Todos
Publicações
publicações selecionadas
artigo de conferência
Camila Revival: VDM meets Haskell
2005
Contato
nome completo
L.S.
Barbosa
