Ing.

Veronika Šoková

Ph.D.

FIT, RG VERIFIT – Member

+420 54114 1178
isokova@fit.vut.cz

Send BUT message

Ing. Veronika Šoková, Ph.D.

Other

  • 2022

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

    ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. Low-Level Bi-Abduction (Artifact). Dagstuhl: 2022. p. 1-6.

  • 2019

    KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019. p. 1-4.

*) Citace se generují jednou za 24 hodin.