autores
- José Francisco Creissac Freitas de Campos
- Doherty, Gavin
- Campos, José Francisco Creissac Freitas de
Representational Reasoning and Verification
Artigo Académico
- Visão geral
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2000
tem uma área de assunto
publicada em
- Formal Aspects of Computing Revista