Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language Capítulo de livro uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Ezequiel José Veloso Ferreira Moreira
  • Campos, José C.

data de publicação

  • 2024