Livres — Frama-C

RU
Fondamentaux des tests et de la vérification des logiciels

Fondamentaux des tests et de la vérification des logiciels

B

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

Développement de logiciels