API pro monitorování chování programů v kontextu nástroje DIVINE - Kučera, Tadeáš (2019)
Vedoucí práce: Jiří Barnat