Přístupnostní navigace
E-application
Search Search Close
Ing.
Ph.D.
FIT, DITS – Researcher
+420 54114 1178imalik@fit.vut.cz
Send BUT message
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, number of downloads: 0Detail
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, number of downloads: 0Detail
In the event of a discrepancy in the data, inspect the FAQs for visiting cards.