Partial derivative automata formalized in coq Artigo Académico Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Almeida, José Bacelar
  • Moreira, N.
  • David M. Pereira
  • De Sousa, S.M.
  • Sousa, Simão Melo de

data de publicação

  • janeiro 1, 2011