Книги / тег / верификация ПО

Книги по тегу #верификация ПО

всего · 1
EN
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Языки программирования