@misc{Giebas_Damian_Metoda,
 author={Giebas, Damian},
 address={Koszalin},
 howpublished={online},
 publisher={[s.n.]},
 language={pol},
 type={rozprawa doktorska},
 title={Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska},
 keywords={c (język programowania), programy komputerowe, weryfikacja oprogramowania, błąd (informatyka), kod źródłowy},
}