Formal verification of interactive computing systems: Opportunities and challenges Artigo de Conferência uri icon

autores

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

data de publicação

  • janeiro 1, 2019