autores
- José Francisco Creissac Freitas de Campos
- Harrison, Michael
- Campos, José Francisco Creissac Freitas de
- Karsten Loer
Formal analysis of interactive systems: opportunities and weaknesses
Capítulo de livro
- Visão geral
Visão geral
data de publicação
- 2008