Formal Approaches for Interactive Systems Capítulo de livro uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Harrison, Michael

data de publicação

  • 2025