A Language for Explaining Counterexamples Artigo de Conferência uri icon

autores

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

data de publicação

  • julho 1, 2024