Location:
SVP summer 2016/17
|
SVP
|
Courses
|
CL Homepage
|
Dept. of Appl. Inf. (AI and DP)
|
Faculty of Math., Physics, and Inf.
|
Comenius Univ.
Bratislava
|
Slovakia
Slovenská verzia
Lecture notes for the course 1-AIN-470 Specification and Verification of Programs Summer 2016/17
This document is available only in
Slovak
.
*
– updated within last 7 days
Last modified:
2017-02-10
T
18:21
+0100