SPARK 2014 облегчает проверку безопасности программы формальными методами

SPARK 2014 облегчает проверку-доказательство безопасности программы формальными методами