Event Details

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

17 February 2017

Place
A218, CZ
Organiser
Type
seminar
Access
free
Description
Back to top