Professional
We are running a Continuing Professional Development course called Assured Software Engineering and Proof in January 2025, which will use Isabelle/UTP. For more information, please visit this page.
Embedded Files
We are running a Continuing Professional Development course called Assured Software Engineering and Proof in January 2025, which will use Isabelle/UTP. For more information, please visit this page.