autores
- Harrison, Michael
- P. Masci
- J.C. Campos
- P. Curzon
- José Francisco Creissac Freitas de Campos
- Masci, PM
- Curzon, Paul
Automated theorem proving for the systematic analysis of interactive systems
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2013