NAIL094 — Decision procedures and verification

Petr Kučera, KTIML MFF UK

(Česká verze)

Index

  1. Credit requirements
  2. Syllabus
  3. Contents of the lecture
  4. Contents of the practical

Basic information