Software Verification Course

A six-weeks virtual school.

Apr 20, 2023

∙ Paid

Hello Quantum Formalists,

We're delighted to announce that Zaiku Group will run a six-weeks virtual school on 'Software Verification', emphasising functional programming!

Members of the QF community are welcome to join but will need to apply because of the limited availability! If you are interested, please fill in this short application form https://form…

Continue reading this post for free, courtesy of Quantum Formalism (QF).

Or purchase a paid subscription.