Events

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)

Your IPv4 address: 54.161.73.123
Switch to IPv6 connection

DNSSEC [dnssec]