Libros — Frama-C

RU
Fundamentos de pruebas y verificación de software

Fundamentos de pruebas y verificación de software

B

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

Desarrollo de software