Crossmark

Abstract semantic diffing of evolving concurrent programs

Crossref DOI link: https://doi.org/10.1007/s10703-018-0322-2

Published Online: 2018-08-21

Published Print: 2019-08

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

Authors

Bouajjani, Ahmed

Enea, Constantin https://orcid.org/0000-0003-2727-8865
Lahiri, Shuvendu K.
Funding

Funding for this research was provided by:

European Research Council (678177)
License Information

Text and Data Mining valid from 2018-08-21
More Information

Article History

First Online: 21 August 2018