Resources
Books
See More »
Tech Papers
See More »- Controlling Costs with Software Language Choice — How Ada Can Help 9/12/2018
- Safe Dynamic Memory Management in Ada and SPARK 7/3/2018
- Lightweight Interactive Proving inside an Automatic Program Verifier 5/16/2018
- Climbing the Software Assurance Ladder 5/16/2018
- SPARK 2014 User's Guide (Japanese) 2/20/2017
Japanese Learning Material
We’re happy to provide select translated learning material in Japanese including...
