| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
|
|||
|
|
|||
|
Процессный подход к верификации криптографических протоколов A. M. Mironov Lomonosov Moscow State University, Faculty of Mechanics and Mathematics |
|||
|
Website: https://persons.iis.nsk.su/en/STEP-2024 |
|||