TY - GEN A1 - Giebas, Damian A2 - Bocewicz, Grzegorz [Promotor] A2 - Wojszczyk, Rafał [Promotor] A2 - Patalas-Maliszewska, Justyna [Recenzja] A2 - Jóźwiak, Ireneusz [Recenzja] PB - [s.n.] L1 - http://dlibra.tu.koszalin.pl/Content/1538/2022_MWK_D.pdf CY - Koszalin L2 - http://dlibra.tu.koszalin.pl/Content/1538 KW - c (język programowania) KW - programy komputerowe KW - weryfikacja oprogramowania KW - błąd (informatyka) KW - kod źródłowy T1 - Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska UR - http://dlibra.tu.koszalin.pl/dlibra/publication/edition/1538 T2 - Method for detecting resource conflicts in multithreaded applications ER -