Pokročilá statická analýza atomicity v souběžných programech prostřednictvím Facebooku Infer
Autor práce
Dominik Harmim Ing.
Vysoké učení technické v Brně, Fakulta informačních technologií
Vedúci práce
Tomáš Vojnar Prof. Ing. Ph.D.