Вы здесь

Главная

протоколы верификации

Связанные издания:

Relational and Algebraic Methods in Computer Science: Proc./17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 2018