Petr Šilling

Products

• 2023

  DiffKemp: Static Analyser of Semantic Differences, version 0.4.0, software
  Authors: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol