Formális módszerek - Házi feladat 29-35 szerkesztése

A szerkesztő most be fog tölteni. Ha még pár másodperc múlva is ezt az üzenetet látod, töltsd újra a lapot.