Skip to main content
Skip header

Interactive and Automated Proving of Program Correctness

Study information system (EDISON)

Others

Study material From academic year Language File type Size
Interaktivní a automatizované dokazování korektnosti algoritmů   2023/2024 czech pdf 55 KiB