This page contains links to everything you will need for this week-long training class.
This class works best with the GNAT toolset. If you do not currently have these tools available, you can download the free Community Edition.
Copyright 2023, AdaCore