Event Details

Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

17 February 2017