Creative activities

• CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: HADES; HADES (Hazard Detection System). http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/, number of downloads: 2
  Detail

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