Event Details
Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Place
A218, CZ
Organiser
Type
seminar
Access
free
Description