Document is current

Implementing the Symbolic Method of Verification in the C-Light Project

Crossref DOI link: https://doi.org/10.1007/978-3-319-74313-4_17

Published Online: 2018-01-18

Published Print: 2018

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