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.225.38.2
Přepnout na IPv6 spojení

DNSSEC [dnssec]