You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: Users.
• The action you have requested is limited to users in the group: Users.

---

You can view and copy the source of this page.

{{Course | name = Formal Semantics and Theory of Correctness | code = 1-AIN-630 | prerequisites = none | semester = Winter | year = 3 | credits = 6 | form = L - laboratory exercise (3) | evaluation = 50/50 | webpage = not available | teacher = not available | email = not available | homepage = not available | description = not available | offered_in = Elective in [[Bachelor program in Applied Informatics]] | recommendations = none }}

Return to Formal Semantics and Theory of Correctness.

← Formal Semantics and Theory of Correctness