Multi-level formal verification
Sauvage, Laurent, Graba, Tarik, Porteboeuf, ThibaultVolume:
7
Language:
english
Journal:
Journal of Cryptographic Engineering
DOI:
10.1007/s13389-016-0144-3
Date:
April, 2017
File:
PDF, 2.50 MB
english, 2017