A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
Crossref DOI link: https://doi.org/10.1007/978-3-319-90104-6_13
Published Online: 2018-04-18
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Daudier, Dorian
Ngoc Quoc Bao, Trinh http://orcid.org/0000-0001-8254-6274
Ogata, Kazuhiro http://orcid.org/0000-0002-4441-3259
License valid from 2018-01-01