Veronika Šoková

Other Results

• 2022

  Low-Level Bi-Abduction (Artifact), other unclassified results, 2022
  Authors: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

  Low-Level Bi-Abduction (technical report), report, 2022
  Authors: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F.

• 2019

  PredatorHP Attacks Interval-Sized Regions, report, 2019
  Authors: KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.