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

autores

  • Wang, SL
  • Barbosa, L.S.
  • Oliveira, JN

data de publicação

  • janeiro 1, 2008