Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Computer Science Foundations and Applied LogicPublisher: Cham : Springer International Publishing, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XXIV, 697 p. 196 illus., 69 illus. in color.)ISBN:- 9783031556081
No physical items for this record