Панов Максим Ігорович

Доведення коректності алгоритму шифрування RSA засобами The Coq Proof Assistant

Video Poster Left Poster Right