Safe and Secure Software Updated for SPARK (Russian Translation)

Джон Барнс При участии Бэн Брасгол.

Безопасное и надежное программное обеспечение Ada 2012

Адаптировано для SPARK 2014