Location: SVP summer 2022/23 | SVP | Courses | CL Homepage | Dept. of Appl. Inf. (AI and DP) | Faculty of Math., Physics, and Inf. | Comenius Univ. Bratislava | Slovakia

Slides for the course 1-AIN-470 Specification and Verification of Programs Summer 2022/23

This document is available only in Slovak.

* – updated within last 7 days Last modified: 2023-05-14T10:54+0200