Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach Artigo de Conferência uri icon

autores

  • Frade, MJ
  • Lourenco, CB
  • Frade, MJ
  • Pinto, JS

data de publicação

  • janeiro 1, 2016