Options
2000
Conference Paper
Titel
Validation of cryptographic protocols by efficient automated testing
Language
English
Tags