Extracting the Reference Test Suites from Cryptographic Protocol Specifications Written on a Domain-Specific Language
Trudy Instituta sistemnogo programmirovaniâ RAN/Trudy Instituta sistemnogo programmirovaniâ