Книги — Frama-C

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

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

B

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

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