Faculty of Information Technology, BUT

Event Details

Seminář VeriFIT - 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