Weryfikacja wspomagana komputerowo, laboratorium
Niezawodność systemów współbieżnych i obiektowych, seminarium magisterskie