Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars


Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
October 11, 2024 13:00–14:30, Novosibirsk, A.P. Ershov Institute of Informatics Systems 		 

Процессный подход к верификации криптографических протоколов

A. M. Mironov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Number of views:
This page:73


Website: https://persons.iis.nsk.su/en/STEP-2024
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024