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