resumo
- Keynote talk at CBSOFT, Natal, September 2012
Software components as invariant-typed arrows (Keynote Talk)
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2012