autores
- José João Antunes Guimarães Dias de Almeida
- Almeida, J. J.
- Barbosa, L. S.
- Neves, F. L.
- Oliveira, José Nuno Fonseca
CAMILA: formal software engineering supported by functional programming
Artigo de Conferência
- Visão geral
- Pesquisas
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 1997