NAIL094
— Decision procedures and verification
Petr Kučera
,
KTIML MFF UK
(
Česká verze
)
Index
Credit requirements
Syllabus
Contents of the lecture
Contents of the practical
Basic information
Teacher: