resumo
- Comunicação publicada em "Lecture Notes in Computer Science", vol. 7560 (2012), pag. 146-161
Relations as executable specifications: Taming partiality and non-determinism using invariants
Artigo de Conferência
Capítulo de livro
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2012