Produkty
-
2023
2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software
Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn