Automated deduction and usability reasoning Capítulo de livro uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Campos, José Francisco Creissac Freitas de
  • Harrison, Michael
  • Campos, JC
  • Harrison, MD

data de publicação

  • 2006