Szablon:Semantyka i weryfikacja programów/Wykład 7