Languages
Prevosto, Virgile.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings /
by:
TAP (Conference) (2023 :); Prevosto, Virgile.; Seceleanu, Cristina.; SpringerLink (Online service)
(Electronic resources)
Guide to software verification with Frama-C = core components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; SpringerLink (Online service); Signoles, Julien.
(Electronic resources)