A Single Complete Relational Rule for Coalgebraic Refinement Artigo Académico uri icon

autores

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

data de publicação

  • janeiro 1, 2009