Professional

We are running a Continuing Professional Development course, that will use Isabelle/UTP in June 2023. For more information, please visit this page.