autores
- Joost Visser
- J.N. Oliveira
- L.S. Barbosa
- Oliveira, José Nuno Fonseca
- Barbosa, L. S.
- Alexandra Mendes
- Ferreira, J.F.
Camila Revival: VDM meets Haskell
Artigo de Conferência
- Visão geral
Visão geral
data de publicação
- janeiro 1, 2005