Ing.

Viktor Malík

Ph.D.

FIT, UITS – vědecký pracovník

+420 54114 1178
imalik@fit.vut.cz

Odeslat VUT zprávu

Ing. Viktor Malík, Ph.D.

Tvůrčí aktivity

  • 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í: 0
    Detail

  • MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.: DiffKemp 0.4.0; DiffKemp: Static Analyser of Semantic Differences, version 0.4.0. https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. URL: https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. (software)
    https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0, počet stažení: 0
    Detail

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