Следене
Michael Schrempp
Michael Schrempp
Karlsruhe, Institute of Technology
Потвърден имейл адрес: freenet.de
Заглавие
Позовавания
Позовавания
Година
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
482021
Системата не може да изпълни операцията сега. Опитайте отново по-късно.