Detail publikace
Symbolic Representations of Dynamic Data Structures in Program Analysis
ROGALEWICZ Adam. Symbolic Representations of Dynamic Data Structures in Program Analysis. Brno, 2016.
Název česky
Symbolické reprezentace dynamických datových struktur v rámci analýzy programů
Typ
habilitace
Jazyk
angličtina
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Rok
2016
Strany
191
Místo
Brno, CZ
Soubory