Dominik Harmim

Produkty

• 2022

  Atomer: detektor porušení atomičnosti, verze 2.0, software, 2022
  Autoři: HARMIM, D.; VOJNAR, T.

• 2020

  Atomer: detektor porušení atomičnosti, verze 1.0, software, 2020
  Autoři: HARMIM, D.; VOJNAR, T.

• 2019

  Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
  Autoři: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.