Static and Dynamic Verification of Relational Properties on Self-composed C Code
Crossref DOI link: https://doi.org/10.1007/978-3-319-92994-1_3
Published Online: 2018-06-02
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Blatter, Lionel
Kosmatov, Nikolai http://orcid.org/0000-0003-1557-2813
Le Gall, Pascale
Prevosto, Virgile http://orcid.org/0000-0002-7203-0968
Petiot, Guillaume
License valid from 2018-01-01