TITLE:
PRESENTER:
DATE:
OTHER:
Copyright (C) 2018-2026, AdaCore under CC BY-SA

Published under a CC BY-SA license, which means that you can copy,
redistribute, remix, transform, and build upon the content for any
purpose, even commercially, as long as you give appropriate credit,
provide a link to the license, and indicate if changes were made.
If you remix, transform, or build upon the material, you must
distribute your contributions under the same license as the
original. You can find license details on this page
http://creativecommons.org/licenses/by-sa/4.0


