Veronika Šoková

Ostatní výsledky

• 2022

  Low-Level Bi-Abduction (Artifact), různé, 2022
  Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

  Low-Level Bi-Abduction (technical report), zpráva odborná, 2022
  Autoři: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F.

• 2019

  PredatorHP Attacks Interval-Sized Regions, zpráva odborná, 2019
  Autoři: KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.