Videozáznam přednášky pro studenty středních škol o formálních verifikacích programů. Přednáška byla pořádána Akademií věd České republiky v rámci 7. týdne vědy a techniky.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…