Crossmark

Abstraction and subsumption in modular verification of C programs

Crossref DOI link: https://doi.org/10.1007/s10703-020-00353-1

Published Online: 2021-03-23

Published Print: 2021-10

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

Authors

Beringer, Lennart http://orcid.org/0000-0002-1570-3492
Appel, Andrew W.
Funding

Funding for this research was provided by:

National Science Foundation (1005849, 1521602)
License Information

Text and Data Mining valid from 2021-03-23

Version of Record valid from 2021-03-23
More Information

Article History

Received: 2 March 2020

Accepted: 2 November 2020

First Online: 23 March 2021