Browsing by Author Timany, Amin
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
30-Aug-2023 | Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols | Gondelman, Léon; Hinrichsen, Jonas Kastberg; Pereira, Mário; Timany, Amin; Birkedal, Lars | article | ![]() |