108 systemów wspomagania specyfikacji i weryfikacji oprogramowania i hardware'u'.
Wykład 1 (5.X 2025)