Resources
Books
See More »
Tech Papers
See More »- How to Succeed in the Software Business While Giving Away the Source Code — The AdaCore Experience 12/11/2019
- ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations 12/9/2019
- Practical Application of SPARK to OpenUxAS 11/13/2019
- Lady Ada Mediates Peace Treaty in Endianness War 9/4/2019
- Ada and SPARK: Beyond Static Analysis for Medical Devices 3/20/2019
Japanese Learning Material
We’re happy to provide select translated learning material in Japanese including...
