A generalized program verification workflow based on loop elimination and SA form Artigo de Conferência uri icon

autores

  • Frade, MJ
  • Lourenço, CB
  • Frade, MJ
  • Pinto, JS

data de publicação

  • janeiro 1, 2019