Книги — Frama-C

EN
Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Языки программирования
RU
Основы тестирования и верификации программного обеспечения

Основы тестирования и верификации программного обеспечения

B

С. М. Старолетов

Разработка ПО