Slicing ATL model transformations for scalable deductive verification and fault localization
Crossref DOI link: https://doi.org/10.1007/s10009-018-0491-8
Published Online: 2018-04-17
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cheng, Zheng
Tisi, Massimo
Text and Data Mining valid from 2018-04-17
Article History
First Online: 17 April 2018