Fakulta informačních technologií VUT v Brně

Detail akce

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

17. února 2017

Místo konání
A218, CZ
Pořadatel
Typ
seminář
Přístupnost
volná
Popis
Představení článku Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic (od Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger)
Nahoru