Component-based verification using incremental design and invariants
Crossref DOI link: https://doi.org/10.1007/s10270-014-0410-8
Published Online: 2014-04-24
Published Print: 2016-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bensalem, Saddek
Bozga, Marius
Legay, Axel
Nguyen, Thanh-Hung
Sifakis, Joseph
Yan, Rongjie
Text and Data Mining valid from 2014-04-24