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