Books — Frama-C

EN
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programming languages
RU
Fundamentals of Software Testing and Verification

Fundamentals of Software Testing and Verification

B

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

Software Development