Tartu Ülikool. Matemaatika-informaatikateaduskondTartu Ülikool. Arvutiteaduse instituutVene, Varmo, juhendajaVojdani, Vesal2007-01-092007-01-092006Tartu Ester bibnumber: b17982157http://hdl.handle.net/10062/1253esttarkvaraarendusarvutiprogrammidtestiminemagistritöödMitmelõimeliste C-programmide kraasimine analüsaatoriga GoblinLinting multi-threaded C programs with the GoblinThesis