Crossmark

Multi-level formal verification

Crossref DOI link: https://doi.org/10.1007/s13389-016-0144-3

Published Online: 2016-11-22

Published Print: 2017-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Sauvage, Laurent https://orcid.org/0000-0002-6940-6856
Graba, Tarik

Porteboeuf, Thibault
Funding

Funding for this research was provided by:

Fonds Unique Interministériel (FR)
License Information

License valid from 2016-11-22