Verification conditions for single-assignment programs Artigo Académico Artigo de Conferência uri icon

autores

  • Frade, MJ
  • Cruz, Daniela da
  • Da Cruz, D.
  • Frade, M.J.
  • Pinto, J.S.

data de publicação

  • janeiro 1, 2012