Bücher — Frama-C

RU
Grundlagen der Softwaretests und -verifikation

Grundlagen der Softwaretests und -verifikation

B

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

Softwareentwicklung