blue_tongue

↗ HN profile [ 27.3 ms ] full profile

Karma: 9
Created: July 28, 2018 (7y ago)
Submissions: 0

Safe Dynamic Memory Management in Ada and SPARK [pdf] (adacore.com)

4 points 7y ago 0