Bc.

Ondřej Kinšt

FIT, BSPB – Member

xkinst01@stud.fit.vut.cz

Send BUT message

Bc. Ondřej Kinšt

Creative activities

  • 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/, number of downloads: 0
    Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.