Maroua Maalej, S. Tucker Taft, Yannick Moy. Safe Dynamic Memory Management in Ada and SPARK. In Antonio Casimiro, Pedro M. Ferreira, editors, Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Volume 10873 of Lecture Notes in Computer Science, pages 37-52, Springer, 2018.
Abstract is missing.