A relational model for confined separation logic Artigo Académico Artigo de Conferência uri icon

autores

  • Wang, S.
  • Barbosa, L.S.
  • Oliveira, J.N.

data de publicação

  • janeiro 1, 2008