Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
FIT, VZ VERIFIT – člen
imarticek@fit.vut.cz
Odeslat VUT zprávu
KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)https://github.com/diffblue/2ls/releases/tag/2ls-0.10, počet stažení: 0Detail
Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.