Products
-
2022
Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software
Authors: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian