AdaCore Technologies for Cyber Security

This book is intended for those who are involved with software at any level who would like to learn how to address software and security challenges.