Follow
Security-Hardening Software Libraries with Ada and SPARK -- A TCP Stack Use Case. (arXiv:2109.10347v1 [cs.CR]) http://arxiv.org/abs/2109.10347
Security-Hardening Software Libraries with Ada and SPARK -- A TCP Stack Use Case. (arXiv:2109.10347v1 [cs.CR]) http://arxiv.org/abs/2109.10347