Re:Safe Dynamic Memory Management in Ada and SPARK
by Fabien_C on Wednesday July 25, 2018 @01:45PM
(#17611201)
The installer over there should be everything you need: https://www.adacore.com/download
[ Parent
| on HN ]
There are no comments on this comment yet.