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

Сергей Киркоров

982 подписчика

12+
12+

6 просмотров

4 года назад

ПожаловатьсяНарушение авторских прав

Сергей Киркоров

982 подписчика

12+
12+

6 просмотров

4 года назад

ПожаловатьсяНарушение авторских прав
12+
12+

6 просмотров

4 года назад

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