Verifying user interface behaviour with model checking Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • J. C. Campos
  • M. D. Harrison
  • Karsten Loer
  • Campos, JC
  • Harrison, MD
  • Loer, K

data de publicação

  • janeiro 1, 2004