Technical Papers

Safe and Secure Software Updated for SPARK (Russian Translation)

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

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

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

Attached Files

posted in