An undergraduate course on protocol engineering - How to teach formal methods without scaring students

  1. Fernández-Iglesias, M.J.
  2. Llamas-Nistal, M.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540236115

Ano de publicación: 2004

Volume: 3294

Páxinas: 153-165

Tipo: Artigo

DOI: 10.1007/978-3-540-30472-2_10 GOOGLE SCHOLAR
Fonte de datos: Scopus