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
Rok
2016
Strany
191
Místo
Brno, CZ
Soubory
Nahoru