Formally verifying interactive systems: A review Artigo de Conferência uri icon

autores

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

data de publicação

  • janeiro 1, 1997