Transposing partial components-An exercise on coalgebraic refinement Artigo Académico uri icon

data de publicação

  • janeiro 1, 2006