Supporting requirements formulation in software formal verification Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Campos, J.
  • José Mendes Machado

data de publicação

  • janeiro 1, 2011