An undergraduate course on protocol engineering - How to teach formal methods without scaring students
ISSN: 1611-3349, 0302-9743
ISBN: 9783540236115
Year of publication: 2004
Volume: 3294
Pages: 153-165
Type: Article
ISSN: 1611-3349, 0302-9743
ISBN: 9783540236115
Year of publication: 2004
Volume: 3294
Pages: 153-165
Type: Article