- NOVA LINCS Seminar
- Apr 2023
Léon Gondelman (Aarhus University, Denmark)
Title: Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Date: 12 April 2023, 14h00 - 15h00 | DI Seminars Room and zoom
Read more >