Tvůrčí aktivity

• 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/, počet stažení: 2
  Detail

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