Pokročilá statická analýza atomicity v souběžných programech prostřednictvím Facebooku Infer
Autor práce
Dominik Harmim Ing.
Vedúci práce
Tomáš Vojnar Prof. Ing. Ph.D.