Produkty
-
2022
Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian