Coalgebraic Semantic Framework for Reasoning about Interaction Designs Capítulo de livro uri icon

autores

  • Meng, S
  • Barbosa, L.S.

data de publicação

  • 2009