Události

Seminář VeriFIT - Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

A218 17.2.2017

Představení článku Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic (od Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger)

Vaše IPv4 adresa: 54.161.100.24
Přepnout na IPv6 spojení

DNSSEC [dnssec]