Ondřej Kinšt

Products

• 2024

  Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
  Authors: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.