Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols by Léon Gondelman (Aarhus University, Denmark)

Qua, 12 abril 2023, 14:00 - 15:00

Tipo de evento:

Seminário