Guide to Software Verification with Frama-C
Subtitle: Core Components, Usages, and Applications
Publisher: Springer International Publishing AG
Published: 2024
Language: eng
ISBN-13: 9783031556074