Foundational certification of data-flow analyses Artigo Académico Artigo de Conferência uri icon

autores

  • Frade, MJ
  • Frade, M.J.
  • Saabas, A
  • Uustalu, T

data de publicação

  • janeiro 1, 2007