书籍 — Frama-C

EN
Frama-C软件验证指南：核心组件、用法与应用

Frama-C软件验证指南：核心组件、用法与应用

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

编程语言
RU
软件测试与验证基础

软件测试与验证基础

B

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

软件开发