Tvůrčí aktivity

• MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)
  https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/, počet stažení: 0
  Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.