d (Kluka moved page Specification and Verification of Programs to Course:Specification and Verification of Programs) |
|||
Riadok 1: | Riadok 1: | ||
− | + | {{LangLessPlaceholder}} |
d (Kluka moved page Specification and Verification of Programs to Course:Specification and Verification of Programs) |
|||
Riadok 1: | Riadok 1: | ||
− | + | {{LangLessPlaceholder}} |